{"entities":{"Q409329":{"pageid":411096,"ns":120,"title":"Item:Q409329","lastrevid":61640964,"modified":"2026-04-11T00:39:35Z","type":"item","id":"Q409329","labels":{"en":{"language":"en","value":"Separating the basic logics of the basic recurrences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023583"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$3247B795-6BCD-4C17-AFE3-D5214C00F0CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2eac07f4fe6eedd6250afd891e66f661d3a5fd1","datavalue":{"value":{"text":"Separating the basic logics of the basic recurrences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409329$58F358CE-CFE5-4FF4-ADBB-A029741FB1AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c20db287249188eacf979d9d9376d4f17d07283","datavalue":{"value":"1241.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$CBD1B82D-009B-4F6C-AD2F-C0714ADC91E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$1A31C3D4-1BA5-4C25-A32E-B99EC3E3EA69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$81C43074-484D-408F-991C-0A34134C3E9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409329$B5BE74B7-318B-4B47-A6F6-F154AE5A8E45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9079179c009780ced00e114143fd02a0a8471ce","datavalue":{"value":"https://arxiv.org/abs/1007.1324","type":"string"},"datatype":"url"},"type":"statement","id":"Q409329$EA0D34F8-AA3B-48A1-9C22-AA5A254D2AF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$45B52F3D-7B86-496B-B6CB-B7EB1925D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$6930DA57-60D7-4BFF-A7D0-0CF2AF868397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$61485D20-F033-4373-9572-95E476EF20B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7706f9e7ae408f28b29eb1ae16953c4d4a2a292e","datavalue":{"value":"6023583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$9D78B312-2BF0-4094-8D9D-2ED2DA65D407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409329$9E8E31E3-1A06-4F52-95E9-9F700B348966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q409329$65386D2C-E78A-4933-83C1-E8D9E9D7488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f959e50527b9ace55898cc12890b4d9c7974bc0","datavalue":{"value":"recurrence operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q409329$ECB06B57-D030-4D6C-9888-2D54E5432122","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$FCED1488-38B5-483F-AC2D-125A30B76021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"744437687de2eb987ebe0a7d3f62627be1858211","datavalue":{"value":"W1534695534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$D9F16B0C-4EF4-4FDD-A12B-E6476CA5D88E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d8760610b24af897d36abe23e626dbd7c5d38","datavalue":{"value":{"entity-type":"item","numeric-id":5643819,"id":"Q5643819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$DF08622E-969E-4EDC-9CC8-86757B8B1079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$3170E2E8-821B-4A64-9821-9CE47C2BF4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$204E5069-A801-4336-9D8A-3F90D6AFE5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25696d83ad9c586704de353e765cf249d8dc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$5DBC3B64-1699-425A-A841-FF14F81D5CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54e0569338faa758490d5d2574d6f44d69ce51","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$12B57494-1097-4964-BB19-6CCFCADDBA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032fe58f0d0e793cee7e3ac30ee9defb2d6b636c","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$552AF605-4F1E-4285-AF6B-F6D1983EC137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09765f946ad7b1edd8e4c2f3a7a059a83c308a33","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$A4D43E12-90F6-4AC4-A457-6208801FEE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1ec29f8ad9206b300381c2a763a935316a75c","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$C3E8183C-6D60-4856-A495-AB7DB7E5519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96836528b25b6ab1aa5711f1b2eb98249a8075a0","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$A1D52110-B022-4EE8-90B0-71CAA14B2EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1e0ca244183345f021f0a50fd7ac4b3b1a4db2","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$0C7B18CE-DDDC-4FBF-9FEE-DDE5B7309406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08db90fc57c825e5f23bae2086dda52e101a32","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$A23F3BE6-076F-465E-A49B-0C956FDB8C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1415dfa837a4251d2ff5d5cede791ad27b76f47","datavalue":{"value":{"entity-type":"item","numeric-id":3549318,"id":"Q3549318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$21619512-993E-4972-AE1E-CC00572B2BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa774fc0329edab6d9b75a21a0a00add130cdf5d","datavalue":{"value":{"entity-type":"item","numeric-id":999265,"id":"Q999265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$11851A69-9D51-4D38-8B9A-F0F7A261586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eccdf72e1f203c4524bc6a55b606b03cc00d9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1005975,"id":"Q1005975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$3133AED8-8D78-43B1-A56E-4570EC11D377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e518a727768fabe4eaa82ffb7f7689f2d063546b","datavalue":{"value":{"entity-type":"item","numeric-id":3620031,"id":"Q3620031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$2ED89EB9-F9F6-41C6-AFE9-067A6554B3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2063e7a98e675ceb548b4cd1f848d40c89a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3570163,"id":"Q3570163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$7820434D-410B-428F-BC9E-46ABEA9DDC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fef59974ba573d0e545d6c9cfab5cd51b9b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":631756,"id":"Q631756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$C1A2CCDF-CB30-4187-8E2B-69D8A53AF34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d86ee685d6e66e56b7080716620958264333c1c","datavalue":{"value":{"entity-type":"item","numeric-id":980944,"id":"Q980944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409329$67C43022-3962-4F31-81DA-7475C01B9FD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ae2d5e02eaf1cc81bfe4d2fbc08ee3e1d0104d8","datavalue":{"value":"10.1016/J.APAL.2011.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409329$14EAF687-CCC1-47FB-8C49-4CF64FAAE839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cae4d16f307aabe590860cf73ee890b2e6e429","datavalue":{"value":{"entity-type":"item","numeric-id":1934954,"id":"Q1934954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af12cfed8b80d064f215a5fcfa45d2c1f0ec83f5","datavalue":{"value":{"amount":"+0.8057542443275452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q409329$372D77B7-A96E-4C39-8691-1DEF5D393DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f662fb7e51d07e78e1efd0d0e29f210c1dc8f0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1948283,"id":"Q1948283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f48e1322c8963bde9ae265a032813b2bd9f177d","datavalue":{"value":{"amount":"+0.785839319229126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q409329$6B2C6B72-88C4-41BD-AFDB-054E72B9339D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c0cca1b2f49f1a64451e25d002411392ae33a","datavalue":{"value":{"entity-type":"item","numeric-id":2434574,"id":"Q2434574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a5878dccc92f3f7104ea40fb82deb4e9711708","datavalue":{"value":{"amount":"+0.757508397102356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q409329$1687EDC7-D19F-47D6-8F8A-7433375AECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c6458e15270b0da70832c907cfa88dbcf2df23","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449c4629c759317f083e567befe61d461f2e578f","datavalue":{"value":{"amount":"+0.7193124294281006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q409329$3439EF3D-06E3-48B1-90A9-362D496FDFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d565c36b1aa090a1ceb9853afcbd184969aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1935368,"id":"Q1935368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc7af8f501806a74ee6d52ea0e4db5fecde9fa0","datavalue":{"value":{"amount":"+0.7103990912437439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q409329$FE7C414A-2BF8-4899-88C3-8E6BAE14BC77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating the basic logics of the basic recurrences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separating_the_basic_logics_of_the_basic_recurrences"}}}}}