{"entities":{"Q4568312":{"pageid":6597901,"ns":120,"title":"Item:Q4568312","lastrevid":53120108,"modified":"2026-01-24T06:24:35Z","type":"item","id":"Q4568312","labels":{"en":{"language":"en","value":"Decidability of parameterized verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6890768"}},"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":"Q4568312$0B157A85-E905-4273-A720-B8EE0E67C14E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eb78d4f6425b1b9a34794135a0a4314faa180ff","datavalue":{"value":{"text":"Decidability of Parameterized Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4568312$9D3886A5-D2CB-4DF0-AA63-11CF569529C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10fbcc4e6a8f2d3a95e716209f0e44b25d10bbbd","datavalue":{"value":"1400.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$C08F2D14-4DDC-44DD-A6D7-377E6F3E89C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc37e45fc961d2cd927d431f345bb11be6fcbd16","datavalue":{"value":"10.2200/S00658ED1V01Y201508DCT013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$AFD509E3-EC3D-4046-A1F2-E8EA600D485C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e06953cc90c618af7f9a453c28d33e0cda4d9de9","datavalue":{"value":{"entity-type":"item","numeric-id":3002200,"id":"Q3002200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4568312$5555F69A-5258-4457-825F-AB5A5D8CD086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a234a8719380e8f343fc9045a08e6d82d592a1","datavalue":{"value":{"time":"+2018-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4568312$0E9877B3-AA68-44CF-B352-35EFB77C2885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$070750C8-43F8-4EDC-8BAB-55099A919625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$8A150152-7441-4B14-A7D3-377F1091610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$0425B783-9761-4D8C-B1E5-EF403B2B6891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76876973ee7bfa93ad5bad7bfe8e6ce224b2cad9","datavalue":{"value":"6890768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$C801EAA9-9AB4-4312-A67F-CEAAE5F395AC","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":"Q4568312$70EC146C-3526-46EB-984F-DDF0BB274E97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d7a971c539937260f6c98bc3bab04dc604e91ca","datavalue":{"value":"https://doi.org/10.2200/s00658ed1v01y201508dct013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4568312$30B95EB1-8CF5-4896-9370-9E53BC799540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b21d8f480e0241b4019b5a5c0cc31459188fdd7f","datavalue":{"value":"W1918351269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4568312$4B9E8085-1985-4C8E-938D-98B4048C20AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2e0aff707e14711904e4306b8c631806584f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1c74e60d3a8f741fd6839a5ee022439f066d6d","datavalue":{"value":{"amount":"+0.8546566367149353","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":"Q4568312$8E73A0D3-76B8-4A20-9599-C08039D6ADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47827cec29fb1d84db8034fb416ed1c23f9b01dd","datavalue":{"value":{"amount":"+0.8225029706954956","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":"Q4568312$810C53C5-4967-493A-8B38-9C71D4815C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a1679851b25e04099141d3158a9af7b045f268","datavalue":{"value":{"entity-type":"item","numeric-id":1635829,"id":"Q1635829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85aa69fa29ccbf2aa76525cfc946eef08bbf9ea7","datavalue":{"value":{"amount":"+0.8140876293182373","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":"Q4568312$FBEA1802-F8F7-4856-A5CF-9D51896EED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fb2f67a2f7c58dc3bea40d13f31f6037990cc","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a68eb7ef118d04aa0b4e7bce02ba691c368858","datavalue":{"value":{"amount":"+0.8139805197715759","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":"Q4568312$551C1EC0-3F67-4CC0-B12F-B36EA573F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82527b14d149aaa0d5929b733d923fa2a9fe5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66872839bc0b5693d032ffc66add4c40bd748fe","datavalue":{"value":{"amount":"+0.7961689233779907","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":"Q4568312$9A9EEA95-5F1B-4A60-B16F-61180F814E31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4568312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4568312"}}}}}