{"entities":{"Q3636811":{"pageid":5666717,"ns":120,"title":"Item:Q3636811","lastrevid":50694443,"modified":"2026-01-14T20:15:06Z","type":"item","id":"Q3636811","labels":{"en":{"language":"en","value":"Simulating reachability using first-order logic with applications to verification of linked data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571825"}},"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":"Q3636811$8800C75F-8E87-4D77-9B58-CC4D4C94A54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1662d805b5323e4a55a42844817486c33b15bd45","datavalue":{"value":{"text":"Simulating reachability using first-order logic with applications to verification of linked data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636811$EB78BD69-B3A7-4F1D-AAD6-C826C8F16B23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d9611869ac84f6d29c49294c4ab5f562c60604","datavalue":{"value":"1163.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636811$08C3969A-3EB7-46F0-95E1-D42E6BF79E2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f51d12c42bff6d29194455d92dda7eb2ca25fa7","datavalue":{"value":"10.2168/LMCS-5(2:12)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636811$9FEB2475-0F53-4EED-BA03-22D0E0E42675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c47ef192a86b65203bced92ad6f7f4227abc498a","datavalue":{"value":{"entity-type":"item","numeric-id":2722066,"id":"Q2722066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$52B96AA2-0817-47CD-A13C-9ABEBA0DCD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$570AC1EB-897D-4974-B683-78EF6C8529E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bca0228c7a8a49096f44bc1162c2f76651387af2","datavalue":{"value":{"entity-type":"item","numeric-id":359970,"id":"Q359970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$E13EF596-A111-4105-AD72-9EB200974706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$3AFFC816-1C44-413E-84FD-4B44FDD8CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$5A9CC2B3-880D-4119-9BB8-226A6BA3F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$92A24DF3-9571-48BD-81A1-A67A39747F8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636811$D357E5BF-FA8B-4B2C-9C7A-7F1DAF16D95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636811$210794C7-7BCA-4F0C-BC6A-897DD19DFE70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636811$AE583763-207A-4639-8076-DC953693ECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636811$E6A13D6B-0E41-4E98-953F-52A98854FE11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ddbc6b1829dd8ba20f7edde06faa9c367e41555","datavalue":{"value":"5571825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636811$2CBBBE48-53EB-49BF-BA26-ECCA8CE29399","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":"Q3636811$21BB9D54-0990-4078-BF96-5C9861195F85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace90ae293130901c8792d99ec3c790c8b53ec06","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab5838d9c3f1dffbe534a5f2dcae55ea5f13129","datavalue":{"value":{"amount":"+0.9989522695541382","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":"Q3636811$B024132A-6E4D-4A5A-BEEC-79367F5CF585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b2d35a9295d82e540406e0b6df40b0b0eb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29b2d9c72054a119a391cc03d8c546fe318f1a5","datavalue":{"value":{"amount":"+0.8538662791252136","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":"Q3636811$19EBA6A5-1A0A-4B47-AE4A-BB214D5E468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faee183eece78dd2fbb3f09d01222c4b84e276f7","datavalue":{"value":{"amount":"+0.8132108449935913","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":"Q3636811$0814CF15-62B9-4792-B9B0-638FEDAA2088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efe42f5de4f93ba6dc9404899c99f5726c3c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6450242ce22cde58c6acc76c326ae1a0874f4fd5","datavalue":{"value":{"amount":"+0.776321291923523","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":"Q3636811$47A28199-8448-4B07-AE75-6500E1D430CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fbceec55478b7811fdca0d030f66fe942aff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5983b7da81de0ec639f1bdd540b69f92545988","datavalue":{"value":{"amount":"+0.7735820412635803","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":"Q3636811$62B2CECD-1665-4824-A9E5-6BF356FB9D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636811"}}}}}