{"entities":{"Q3192221":{"pageid":3202929,"ns":120,"title":"Item:Q3192221","lastrevid":80114708,"modified":"2026-05-06T15:28:27Z","type":"item","id":"Q3192221","labels":{"en":{"language":"en","value":"Verifying monadic second-order properties of graph programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348267"}},"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":"Q3192221$2D9F1E21-B624-4AE7-992C-7E355D5D878F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d5ce4512183eaacc4df275fab51b2547ec1e800","datavalue":{"value":{"text":"Verifying Monadic Second-Order Properties of Graph Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192221$7CC1803B-1B4B-4AEE-98F0-A748B24916B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c1fb2ea5832a08e078142ca8ddf250ba8865609","datavalue":{"value":"1425.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$7A48E529-E8E7-4D8E-B478-A893A4EC2BD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48f5688a478f457a17d023861f53ae3a38140d1a","datavalue":{"value":"10.1007/978-3-319-09108-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$A77855E0-1935-4F51-9F03-117C61B308CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5129960a02fcf06189d8801bbc8feb3165f7845f","datavalue":{"value":{"entity-type":"item","numeric-id":2096430,"id":"Q2096430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192221$8D3B0E81-4A17-4581-A1BF-54A980E343A2","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":"Q3192221$EF57B903-58AF-47CC-B518-29ADCD84B472","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192221$5720A948-87D7-4C1C-AA38-159486A310DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192221$4DC37A9F-A5B9-49BE-A344-D3BD89A74F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88949d65bdb06cff1d45d72fe5b98c4c8702e26b","datavalue":{"value":"https://arxiv.org/abs/1405.5927","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192221$6B2A581D-EB45-44D5-BB84-84F9FD248B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"55925db19dadf195a8cf611b75571f4504d2c6b9","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4912","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192221$8E23A5F9-7AFF-41AE-A14A-D04B7B92D36A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$7A65BA90-15F8-43A6-8024-1A3B71B80407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$153058BD-768A-4E3B-8968-52EC0C0614DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$F080A13A-FB6C-4831-91B4-09C2D3FAFCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$3F69580B-FF5C-41E3-AA3A-EBE60CA93DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"095aee5adde0bed4b7ca97a239f9a7cb500f7a84","datavalue":{"value":"6348267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$2F87198F-ED4F-4B4F-ADE6-FB77907440BC","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":"Q3192221$2F55FC35-A410-4758-92FF-3DD66D7EEFEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6dacd76ea6a4a6ef3c8997e604d6a2ab960332b","datavalue":{"value":"W3105316458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192221$1ED80E2E-E47B-4386-B795-5D68B3FF42D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6fce314e733b3027b8c687cae62d58882d8b13","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"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":"Q3192221$91048A00-7D0E-4B5E-8014-9DD2E2A2188A","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":"07d00f656727ffa445888988814605ea117d94eb","datavalue":{"value":{"amount":"+0.8328912854194641","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":"Q3192221$FD71089D-1112-4629-BF2F-F4DC7BB4EB32","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":"ed2b7977cb0bda74b346f3bf73c86a5835d902fb","datavalue":{"value":{"amount":"+0.824052631855011","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":"Q3192221$90EC6F50-9145-4F56-8BFE-6DE16E766778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a2ad7e1c96c87f7ae3c449027d49bbc5173763","datavalue":{"value":{"amount":"+0.7667883038520813","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":"Q3192221$AA6F34A7-5D24-42F6-864C-22444D251F65","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":"2656ecc31a227b521bf313a8f86a934f0092f5e2","datavalue":{"value":{"amount":"+0.7559700608253479","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":"Q3192221$EB77EF6F-5C21-4F84-A957-61662C2B0D75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying monadic second-order properties of graph programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_monadic_second-order_properties_of_graph_programs"}}}}}