{"entities":{"Q3527279":{"pageid":5557183,"ns":120,"title":"Item:Q3527279","lastrevid":50463875,"modified":"2026-01-14T03:01:01Z","type":"item","id":"Q3527279","labels":{"en":{"language":"en","value":"Formal Verification of Infinite State Systems Using Boolean Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347545"}},"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":"Q3527279$7F81492E-6189-4F48-8F29-53F1A9954E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf024c438f2a7ed019b022c923c3046887bd1ad4","datavalue":{"value":{"text":"Formal Verification of Infinite State Systems Using Boolean Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527279$F9C09712-6FB1-430C-95D1-99F54F547A70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c203a665da70203d345979eabaa4c299cd3a4d7a","datavalue":{"value":"1151.68473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$943D9EF6-012D-4CE6-A4FC-B0B9FD974A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3096f8448bfb9f8bd4a98a21796cbf7d72da69","datavalue":{"value":"10.1007/11805618_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$0E714218-FBFF-47BC-A514-0E331ADA81A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527279$2245685D-F10E-49FB-9382-76DF2F52432C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527279$6566FC24-9716-4F61-AB92-D8CB252FCE96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527279$F4A4B8F4-7682-4535-BBD1-A4D1622FF824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$F6EE1D7D-0BE5-40B3-AB0D-BA2A3ACEE780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$96A71F79-6135-4D38-9124-7DF8A52A290A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab2bad8001a889b33b05bb6ff8e2d61a6484019","datavalue":{"value":"5347545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$0D13E681-42A9-465E-A27F-E055204F49B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527279$4E5D735F-A808-4EB5-BA74-EE677B7B6291","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":"Q3527279$27F15AB0-4FDE-48B4-ADAD-B6E917FDC5AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b091886d0091c351deb4d460f4b947df9a95173","datavalue":{"value":"https://doi.org/10.1007/11805618_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527279$6D38223A-6A13-490A-9A1E-0C7805DE467B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf367f4a18a06b3cbdbd3529e2c28129f2e3bb5","datavalue":{"value":"W1499470128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527279$FEFBA180-7999-4A9A-8FDA-8B14AEB0E6E2","rank":"normal"}],"P1643":[{"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":"998464bc3a1ce84f39ea46696592472e7d24e75c","datavalue":{"value":{"amount":"+0.7784595489501953","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":"Q3527279$214671FA-FB79-4075-921E-811B48F065CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6906c036e81f1a77f85dffd7b0697286a174da6","datavalue":{"value":{"entity-type":"item","numeric-id":4475692,"id":"Q4475692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f371c238e6dd63c134f05e3d3900fa0fc1640695","datavalue":{"value":{"amount":"+0.7708092927932739","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":"Q3527279$6A484E1B-45BC-4DCB-886F-903F9194E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f2b1d3bd200409369e68178cc9809d59dead18","datavalue":{"value":{"entity-type":"item","numeric-id":5448763,"id":"Q5448763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2869d138f66ec2e34a8b95994868874012de81","datavalue":{"value":{"amount":"+0.7653307318687439","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":"Q3527279$606180B9-C95F-4DF0-AD49-0B08A232B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ffcbe776a406a0b48c6f54bedaac0b9b50e002","datavalue":{"value":{"amount":"+0.7633126378059387","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":"Q3527279$27401264-3D04-4F8D-AA21-5F2FF0425D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7595e6084170b0cb949b2513ac8c50f869b49c1","datavalue":{"value":{"amount":"+0.7627395391464233","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":"Q3527279$0C179F3A-EEC6-48B3-A7A3-BF32BAFE9CF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527279"}}}}}