{"entities":{"Q5429320":{"pageid":7458894,"ns":120,"title":"Item:Q5429320","lastrevid":50224670,"modified":"2026-01-13T14:00:36Z","type":"item","id":"Q5429320","labels":{"en":{"language":"en","value":"Parameterized Verification of Infinite-State Processes with Global Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216222"}},"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":"Q5429320$9F7ABFDA-75F4-470D-8692-A8F91BE72CB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5212a524c641b99860b0fe775c51c69acbbeb20","datavalue":{"value":{"text":"Parameterized Verification of Infinite-State Processes with Global Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429320$DC9259B5-044B-4AD0-BA79-160241DC40E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60d8d8610b9b2d7181d28141bf6d5598c2376da6","datavalue":{"value":"1135.68461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429320$DE08AA01-3D87-4030-9DD6-3BD2EC388822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e6958bd7a2fc45fc73a420967b057521fcc615b","datavalue":{"value":"10.1007/978-3-540-73368-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429320$8A4F490D-06B4-4976-AA38-D98E500515E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429320$CB308D31-810B-436B-A802-DFF6715CE748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429320$80C42C94-FAD1-4362-86A2-AE68F49ECD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429320$EBB3A8E1-CF29-437A-8338-5C3FE2E0AD4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429320$F57FDEBD-DB37-4CEC-8D5E-4BDDECB7791D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429320$CFF7980D-1A76-4D45-93CE-DEFB6FFF360C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429320$AEC3B57D-F5B8-4F06-AE02-4A01FB0F8D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bcb0604bcfa6b30567bc04fda139a5c303b9138","datavalue":{"value":"5216222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429320$E0D8DB4D-D2C7-491F-8557-16D53F642ACC","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":"Q5429320$E9553C0A-5D62-4092-9871-2ACF52BBAE8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caac18e74762a543c2182a5d382a481377a53e6f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429320$4276ADB4-7076-46E5-B86F-7AE556B5ACDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3aa1a1bd1378fb5e26b1b4ca66032cf17ed8a75","datavalue":{"value":"W1541228707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429320$6CEFAC6D-C0EA-4E68-BA74-795F1C07DD62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa5fb6c0d68d773b51dee9f12d8d9151f6e21a9","datavalue":{"value":{"entity-type":"item","numeric-id":1039841,"id":"Q1039841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51025c9229a7831347a74a5252ed02a368ff4d4","datavalue":{"value":{"amount":"+0.9702168107032776","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":"Q5429320$9C32E6CD-0440-486F-8B00-D3D3791B29E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db94289257b6c6449f35674ee6cf3b3e1d5c9196","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9aa810f39643f8df802c6287e8bfc90632affb","datavalue":{"value":{"amount":"+0.8693394064903259","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":"Q5429320$A7ED13AF-710A-43F8-881A-A8A2485CC3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49018e64e9135cb631b988e91c29e26af9ac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":5452704,"id":"Q5452704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6743eb2993447a128a3a08fd7fd94608c6adb2","datavalue":{"value":{"amount":"+0.8240553140640259","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":"Q5429320$08527089-89A7-437E-908A-0EA9F4064772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef5c409e0df53923c1fcd746434f131ccd6fd8b","datavalue":{"value":{"amount":"+0.8045417666435242","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":"Q5429320$6F595DC1-8DC4-4902-959D-9C1F0B29212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b16465af8dd72c4d131d0440f7949c2904a6969","datavalue":{"value":{"entity-type":"item","numeric-id":2225108,"id":"Q2225108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aec5d9690517293b1e4a70d9b8167ba10eaa701","datavalue":{"value":{"amount":"+0.7764587998390198","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":"Q5429320$A929CA2D-4003-4EAE-AA23-8C149DBB3DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429320"}}}}}