{"entities":{"Q1256322":{"pageid":1267072,"ns":120,"title":"Item:Q1256322","lastrevid":42982843,"modified":"2025-07-16T14:42:48Z","type":"item","id":"Q1256322","labels":{"en":{"language":"en","value":"The decidability of the FOL-DOL equivalence problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3626623"}},"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":"Q1256322$3278982F-E4E0-4632-8F8A-D8685F059831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e2b90854db2f8aa3d58f641678357ad7bf24c35","datavalue":{"value":{"text":"The decidability of the FOL-DOL equivalence problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1256322$C675B54B-8B43-41F1-A9A7-9F218B912096","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad4a5ba9e73a70d4bf0772026bbd9491b95af31","datavalue":{"value":"0403.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256322$B4893012-9366-404A-913D-CA4A8DC086F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc9fc7fd3157fe73abb9f16ac59417c2339ae67","datavalue":{"value":"10.1016/0020-0190(79)90119-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256322$4DE8EE3A-02C1-42FE-861E-813ABE21DA32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f953f42059e2c954722b339f8a89040ede9a301a","datavalue":{"value":{"entity-type":"item","numeric-id":599512,"id":"Q599512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$DBC7DD78-5C67-495C-9831-52F522BB0FED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$F82F3119-F279-4B5F-9D57-5CFB4A468B85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1256322$066502CE-E5C1-4367-BCEF-72DA75600229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256322$651B2678-AF8A-487A-8A6E-15EC29A10B3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966455f09015604575b5e5b075a5c9d39a2b4e56","datavalue":{"value":"3626623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256322$39F36B23-AE1E-4154-99E2-AE561FAAAEC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ff97cd0ec72f82b042650735b6899e888badf0","datavalue":{"value":"Formal Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256322$49E71A36-0A00-43D8-91C7-A09545170827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f3547ef58bb22c2f3b1c4a03cf9b8aeb493af6","datavalue":{"value":"Lindemayer System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256322$21A02E49-14CE-4371-9083-A168A7855D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8422f623b856129db9ec948bf96b2ad2f2949dd7","datavalue":{"value":"Developmental System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256322$D4242DAB-0968-4EC4-A745-EE98050079C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8807af8b628cad06e7a55ac3242b025dc372ca91","datavalue":{"value":"Equivalence Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256322$870BB035-2FAB-4415-AD83-5BFA06519E76","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":"Q1256322$F29A2BE1-F5D1-49FC-8CC0-09A6B12A006F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb9451095d499db955c0d062c731010302cabc9b","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90119-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1256322$B56E7B21-88AD-41EF-8BE1-56EAC58E2A37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48a54d35ffe8c044db729c52c9b52aed4e1169bb","datavalue":{"value":"W2006520807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256322$37844B02-8FB0-4BB5-89E5-7A350361DEB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5550b7831b8e7289baaa82c5cca004bd46dd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4140409,"id":"Q4140409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$F921CFF0-A53F-4B4D-B652-62C39299CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30afa069f0f1275be57ce6c402f7aa54a492ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4770506,"id":"Q4770506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$6D8D00B5-1637-44E2-9CE7-7EC9CBC1E9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adace70093297cef238da0ddee56c45b433f46e","datavalue":{"value":{"entity-type":"item","numeric-id":4116297,"id":"Q4116297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$E419D944-4505-4673-AE44-6DEEA7C6A7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$A6209607-3844-4AFA-8E51-6A2DC37791AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7785d4fcd4cdcea247ba7eeb3f42334d78a33e4","datavalue":{"value":{"entity-type":"item","numeric-id":4199549,"id":"Q4199549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$0A1BE031-72B4-4CB9-B718-039A628D900C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893791a7977328d8805e901f86eae384cb42c92c","datavalue":{"value":{"entity-type":"item","numeric-id":4127408,"id":"Q4127408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256322$16D92C7E-708A-416F-AA74-A9DA65CA3FBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1256322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1256322"}}}}}