{"entities":{"Q1079557":{"pageid":1090309,"ns":120,"title":"Item:Q1079557","lastrevid":66260469,"modified":"2026-04-12T08:36:21Z","type":"item","id":"Q1079557","labels":{"en":{"language":"en","value":"Construction of decidable singular theories of two successor functions with an extra predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963786"}},"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":"Q1079557$EE7374DD-3F6A-478D-8F12-4171DFF303C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bdf463998cf93fb02214d9949926aaa1b670b34","datavalue":{"value":{"text":"Construction of decidable singular theories of two successor functions with an extra predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079557$5BEE619E-2E93-4C3A-8BF5-8B91F7713F64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ffc6c8f2d238143c65a40383310c4c338c7b128","datavalue":{"value":"0598.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079557$B991D99F-5E20-47BE-BB0E-3C8C69690D51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"238d4db0b11236242b44ce3d998da31ee043337e","datavalue":{"value":"10.1007/BF01979864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079557$F74A7EA8-78ED-47E5-9E29-8AFE503B7121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7f0c926245832115f408aabb05006233a9ddf5","datavalue":{"value":{"entity-type":"item","numeric-id":797276,"id":"Q797276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$8E14BC46-A3A5-45EB-8A56-E1A9FA8CC662","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$823534C4-EEB1-4973-A366-1E9262477633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1079557$62ED5B6B-4888-45C1-B899-D7CF3FBB5495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4951767cb9c25968cc735ff4185861186b1fb515","datavalue":{"value":"https://eudml.org/doc/187269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079557$0D129129-5A0A-42C8-A105-A02C981ED0A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079557$320EF81B-AA73-4610-BBE3-145E896ECEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079557$FE82E9EF-0527-4C17-8282-6CEA5A0D1F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56011a5b25b75c3295f9b9d8d699808e7cbf7df","datavalue":{"value":"3963786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079557$F4FD666C-B375-4E58-8E02-A14E0F58D381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075a08259a0187497a400c42de012b3f61395418","datavalue":{"value":"singular second-order theory of two successor functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079557$0A4B15EF-3393-4C17-97F9-DF401073B09B","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":"Q1079557$FE30F258-E924-4348-8E3B-0CAA6AA53F66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$99DC88A1-A0B7-4CAB-BCC3-5D2031B9C6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$2FFF330E-96C1-444B-AB67-B2866A62FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$C1C9B1CA-BB3B-4B94-A207-F094DC777948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$A1AB80EF-251B-4158-8140-CEFE64BAC855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fddc37d69b9ae3322f96e188c41740d042bb086","datavalue":{"value":{"entity-type":"item","numeric-id":3663528,"id":"Q3663528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079557$65E96BB4-49F9-481B-921F-6EA8B6422F99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of decidable singular theories of two successor functions with an extra predicate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_decidable_singular_theories_of_two_successor_functions_with_an_extra_predicate"}}}}}