{"entities":{"Q2117269":{"pageid":2128012,"ns":120,"title":"Item:Q2117269","lastrevid":54254726,"modified":"2026-01-26T13:34:43Z","type":"item","id":"Q2117269","labels":{"en":{"language":"en","value":"Verifying graph programs with monadic second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493665"}},"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":"Q2117269$45BDA06F-72D2-493F-BB9D-19BE4B42E54B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57a3348b39865ef37ffa8cccc8ff69767e7b9de7","datavalue":{"value":{"text":"Verifying graph programs with monadic second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117269$0F230284-962E-471E-8535-F639A04B433E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e59bb6bb49f30baae98bb7fc867096825d9b0625","datavalue":{"value":"1492.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$E3CB1527-AAA6-4419-93FE-B47B07CC9307","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9633a5d7089225be4c18a45b604e52d84b0b930","datavalue":{"value":"10.1007/978-3-030-78946-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$94CAD0BC-A25F-47E1-8D9F-D07A38554F66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e3e1eabaac3411a644d8cc8699969685fa9d483","datavalue":{"value":{"entity-type":"item","numeric-id":2117268,"id":"Q2117268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$7A762186-B167-41B0-94D6-E5732F764B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$8ECA3A01-C922-4E02-8020-F0ED5F3341E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117269$C4D373E9-C82C-4FF7-BC64-9AD1193B1F93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e201cff79f4bd291575418eb6217b41cf63749a","datavalue":{"value":"https://eprints.whiterose.ac.uk/176053/1/WulandariPlump.ICGT.21.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117269$AD8433D5-DAB5-4A00-A029-1555863529FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$1FF753DD-4DAF-4362-9DD9-23E3A56B2D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$CA3352F2-E2EB-48CE-8552-E3203EC54F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$53B5FECC-2837-4887-95CD-7B31B08B77AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$82DB72D7-06A6-42D3-BD74-D278F7FD979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$E8F50BC4-9237-41D2-AC8C-F8812394C5A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"597c3281697befd051eb9e1ca615c81a47fa03bd","datavalue":{"value":"7493665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$964627CB-0BA3-46A8-961E-689474E3DA47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$06BF7222-A5F0-4EAA-A299-172602DD2DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a83b2ab328b80b4bda3a533e323e67ce53f5f4f","datavalue":{"value":{"entity-type":"item","numeric-id":52031,"id":"Q52031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$0F5FD9B6-5911-4752-B650-48C1507ECA78","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":"Q2117269$B89F1E8B-745A-4416-BF85-908476EDAF15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d75861b1e0686d81c9500560876c647da9d40e02","datavalue":{"value":"W3173413130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117269$D8F6E955-ECEA-4EED-AE31-E7919FC38850","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$EADFD6A9-5A3B-4E5B-AC0B-9D3B1524C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$8A553F32-BD2C-4B80-8CA4-11626705FBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$BF67ACEB-CF8B-4C25-BF2F-1DD325D88EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230491774cda96275295252f683e66d15c981980","datavalue":{"value":{"entity-type":"item","numeric-id":4438775,"id":"Q4438775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$25B6F133-2A2B-4C96-9ACE-1138C72DD78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$15B20ACA-76D4-494A-ACAF-F4C6109A1413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$2DEC4C07-5B81-44B4-90A2-10C509B8742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14eefb51ff5a3cecdfc443e7837db3b9092bdcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3642526,"id":"Q3642526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$E0069563-ED81-429D-A639-663351B09219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d0e0d112fa0a82dac9d99cf9b0794e5b60f92d","datavalue":{"value":{"entity-type":"item","numeric-id":516038,"id":"Q516038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$5DC619A7-AF19-4019-BD20-8A890B12084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9ad7f0cfabd318c2724cd6f60380e779777e00","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$21BDB33F-E6DF-4C06-8E9A-E0AB49701BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$26D84EC9-C64C-4C1B-BC05-037C1D6DD9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11799acecbd6b88915924d50fce1a4c2e59aead","datavalue":{"value":{"entity-type":"item","numeric-id":5021228,"id":"Q5021228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117269$89F8E6F3-A528-4136-B003-65B11CB9BAE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f5886ac9f126545f85bbd9e64861bbf17c4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc12a789306f195d9dd7db4bb355d195fdb62ec4","datavalue":{"value":{"amount":"+0.9041193723678588","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":"Q2117269$2346B28C-AEFA-46EE-8D01-0EE717EA45E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6739516181e9e52a7b5b8d97e5c16de42754d506","datavalue":{"value":{"entity-type":"item","numeric-id":4931309,"id":"Q4931309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f25d676281258afe67485bd8251735afe3ae626","datavalue":{"value":{"amount":"+0.8606292605400085","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":"Q2117269$C948DE8A-001B-4F76-8D3E-3C10D99BAC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b75f246e371908ad9f4fb77ea142907b54fb5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f793020cc91659cd02b97db1f591220a6ad839c2","datavalue":{"value":{"amount":"+0.8563015460968018","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":"Q2117269$1B8B1086-B43C-4AD2-8DE4-DF246B6277F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b93d0514a8aa8726b9d47b94f275665f97f25d","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5f17a18e3f985fa2dd932e958992d90764665f","datavalue":{"value":{"amount":"+0.8046603202819824","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":"Q2117269$920F403B-112D-40D0-B3AF-EB09F4670DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3711cb193f5fadd41df4147d332d6e9ae1f6b405","datavalue":{"value":{"entity-type":"item","numeric-id":2292975,"id":"Q2292975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d597211b88fa50480626790b4cc2ab100dc6a10","datavalue":{"value":{"amount":"+0.7758146524429321","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":"Q2117269$C530C054-BB1F-4019-9B91-03E8E844B371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117269"}}}}}