{"entities":{"Q3608784":{"pageid":5638690,"ns":120,"title":"Item:Q3608784","lastrevid":49678141,"modified":"2026-01-08T23:47:14Z","type":"item","id":"Q3608784","labels":{"en":{"language":"en","value":"Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523785"}},"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":"Q3608784$1CEBA9C4-1F4E-4FD3-A64B-88CF1E49AFB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3071703579fdc171d4d1df9a920cf4204c104df7","datavalue":{"value":{"text":"Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608784$6FDA5A94-12CF-4735-A93B-5C34DF4A58A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f1597ae59cde67861988ce6951ea20109d3d898","datavalue":{"value":"1213.68378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608784$44DB1E14-C8A7-4F07-AF03-92F58094F345","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be0da38554d73b0c0dbdf2e610dc0cd4c575871b","datavalue":{"value":"10.1007/978-3-540-73595-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608784$4A45EEEA-27E3-47C7-8AFF-3A9B7A34C3AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608784$F04F6167-21DA-4105-901E-88EF59179012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e50528f45a8bb28ce09efe5389b579bf5ff46d","datavalue":{"value":{"entity-type":"item","numeric-id":438571,"id":"Q438571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608784$816824B8-A48C-4D4F-BC27-7C89CC0B0FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608784$660E67A3-F301-4D10-9A77-CBFFE11E9F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aac917e4665717c34bbc71235a9093a7d6741cc","datavalue":{"value":{"entity-type":"item","numeric-id":438570,"id":"Q438570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608784$51868B12-D028-4E27-A27D-A2F6AC3F6BC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608784$9556BF6E-928F-42BA-9952-FADA34D956FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608784$788FDC9D-929D-4987-B32F-50F93B0F6121","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608784$EC12DE90-F4D0-4394-8B64-9AE82ED0F544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edb31a3cda8af201036dc8c5cd04be2c37e98583","datavalue":{"value":"5523785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608784$69E04AC5-67F0-481C-AE3B-09E9BB605BD5","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":"Q3608784$44A73FEF-3C88-492C-9709-44186237AA7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7254a701dea69991d136f80bb7574c875169cda","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608784$BAAFB0DD-6FE9-40B4-B962-9D76B7810F7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"526dbaa85dc2f8e85d939d61b296cfc834a52c17","datavalue":{"value":"W1495032777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608784$6550911A-813D-4130-8FF7-C565297A27D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a35e1657ac8aa1ef388d4c59ffd2dedf2f4a31","datavalue":{"value":{"amount":"+0.928945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$349EF7DF-B679-44A5-B57F-E49A88BE411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c453744c49ca3054b0709c44051fe1b80bcdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ca0ec07f9d3c4f19b1a50108f172c2c80090da","datavalue":{"value":{"amount":"+0.9263402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$B83ED2B3-2E3B-49BF-A278-1615844F3C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effe004b11319500cf470d640839e2d3ae7e058","datavalue":{"value":{"entity-type":"item","numeric-id":438572,"id":"Q438572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e606b6b1ffc1b3f47860a00d34581539674d492c","datavalue":{"value":{"amount":"+0.9181118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$000171DE-001F-4C57-8481-1427FA9FF105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5369d8cc6c86a0fdadda9ed573efbdf54c88d9cd","datavalue":{"value":{"amount":"+0.9153863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$5884E9C3-291C-4C15-8596-5976DE097402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13002e379a41698836c3171fe58dc5eac5e7cf23","datavalue":{"value":{"amount":"+0.9098098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$17FA042A-2227-4D30-8E24-17DDDF621608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172086527f5ab47546ffdf7d61ddb2fee4470360","datavalue":{"value":{"amount":"+0.9089048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$C06AA5C7-12FA-4BE7-A3F2-6B32EDEB6775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2c988cc3f34d40cbf17b731a2c7f9da7aa65bd","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e160b0d53eaac5c093f2fa5f6f4a0a60acef745","datavalue":{"value":{"amount":"+0.9082169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$F2888091-3DFD-4829-B8DE-A58BED09E798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d71ddcad81550a2a2bc3dd13db6e154775480a","datavalue":{"value":{"entity-type":"item","numeric-id":3085977,"id":"Q3085977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1308a10cf3668e1f937df1f0c1a684f9bcbba060","datavalue":{"value":{"amount":"+0.90749943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$E5FC78A8-8FC8-4394-8FC3-D6081FC0CB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd2a65f285ff5bb36a7e52932f064893621b27f","datavalue":{"value":{"entity-type":"item","numeric-id":5476389,"id":"Q5476389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d43af954172bd2b0023420d2574716222506245","datavalue":{"value":{"amount":"+0.9061521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608784$AE734999-921D-4780-ACBB-7797F992FE64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608784"}}}}}