{"entities":{"Q832273":{"pageid":834121,"ns":120,"title":"Item:Q832273","lastrevid":64675104,"modified":"2026-04-11T21:28:33Z","type":"item","id":"Q832273","labels":{"en":{"language":"en","value":"Sound verification procedures for temporal properties of infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498187"}},"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":"Q832273$AFB9894A-D1F0-42D8-8E1A-D1A84AA2A10C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e54ab19024f43fedbddde615b4870a32a0e09f2","datavalue":{"value":{"text":"Sound verification procedures for temporal properties of infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832273$DA38C601-BBAC-44CB-8F29-0435F0E2389A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22b3ce822b415beee51f0773d06ca0cca72f2de4","datavalue":{"value":"1493.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$5CAADCA8-31A3-485F-A67F-325C951FF369","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b638856a154486a0ce4039aec21c1682f393102d","datavalue":{"value":"10.1007/978-3-030-81688-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$739A0B03-823F-4E05-B7CC-C4E74243E6AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba17b0e92b6e9a296996fcbbf1dd0a2ee838832a","datavalue":{"value":{"entity-type":"item","numeric-id":517045,"id":"Q517045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$9955BCCA-87A6-4D8A-9123-9CCCCE2E6EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$F7C2B5ED-1B91-46C3-800B-AA52B45D3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$96EB4830-E62B-48D4-BC34-C249BB8BAF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$2994F61E-281D-4500-B91D-780BFAFFDDF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832273$3A91B2EC-5867-4DD8-A8EC-A2B09FC30796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$D8F4DE07-711F-4B28-B575-FAF37AA1BA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$EB634135-AA06-439A-948B-14D78FE35701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7530079708b8892a049152a4713e1207945faf","datavalue":{"value":"7498187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$D7C9B381-BB1C-4DF2-8AAE-CD96988ACDDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$8C05D8A0-98CE-4D8A-B29C-5442C3595721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$F3288DAD-2702-4027-BEC9-E276A2ED0DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$B7F0C6B7-6393-4F9A-A7A8-A0E0FD4F08FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$AB624AF8-B86D-4475-9A0F-9FE8E3B0DF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$E8D998A7-1D41-4945-9C50-EF1579D1FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$DA64C669-2854-4F56-9C9A-04748E91D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff63f91a3c2659163aaead04885df5b890e9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$C230FCF0-502F-477B-ABFD-B9B098D33540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$C8A13B6E-D032-42B3-B3B6-AE5B9B2D1DA2","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":"Q832273$0DFBC07F-0CE6-4CF8-9679-75D584BD90A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8e518053b4e315c404c3cf1e9b4417bfa77f35e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q832273$70DC278D-0973-447E-B29F-3F4C7F2D7D05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a9eaf415e90fd92c9ddffec5806d950f6becba4","datavalue":{"value":"W3180354117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832273$9E0CF6A4-B983-41E2-961E-767EEC02938B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$415CBB75-5368-494A-BBE5-A9F0E2D01D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$31B5BC71-F4FE-4986-8E2E-D4F748A0AE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff22db2f81147d05f8884afa73b2e908248b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4176960,"id":"Q4176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$F1A1DD54-6404-419E-A465-91A021CDFD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5822adc74f9202a4cd3f93a3a9bc2f6db47ee22","datavalue":{"value":{"entity-type":"item","numeric-id":1799076,"id":"Q1799076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$1311FDE5-6DDE-4499-8E01-CEBB8CFE986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dd239eb2144cf4932c16c36404beebc2f11654","datavalue":{"value":{"entity-type":"item","numeric-id":2208293,"id":"Q2208293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$20EC1419-0D22-4F72-BDEF-704C28CEF6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0db601ec7bcba488c8b8b2b074b81174ee6ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":4635874,"id":"Q4635874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$10D6772B-CD73-47F0-8689-E7AADA382DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$D9E8D9F5-4DBE-4E7A-A87C-A55ED0D9C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e227e598b4f65a927b7393a05720ddf79e3793","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$40DFFD3F-23AF-42B7-97F8-04A0FE8399F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82398bbb3b4a1cdbf6ee9d069fe8d47d8819b557","datavalue":{"value":{"entity-type":"item","numeric-id":5370882,"id":"Q5370882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$F82484CD-D742-42FF-8631-41086F54391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e7263608c977c3e706e2d84a9858761dc97a07","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$B80B5414-1378-4AC5-BE26-F320E2EC21FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb5665f5f2c385d5bb95c7cc8ec00b7e3caf015","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$BBA3E989-A53E-4769-8BAD-FEB8541EE19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$296783E7-89EA-46D8-89CD-1564E5C68A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b961351448ae339d35d91c7e1441dcfbada5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$24C9F4E7-A759-4637-9F77-E6F1A97BCCF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a02af5a1fe89fe7201fd016b5d224e6ca551809","datavalue":{"value":{"amount":"+0.8142452239990234","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":"Q832273$FB14214A-0BCF-4C44-A796-C7203460BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855402ef7d5680a3442f654ea6dad00be4d2100d","datavalue":{"value":{"entity-type":"item","numeric-id":6487559,"id":"Q6487559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718006382cea08e1cf90436752846287d9bfaab5","datavalue":{"value":{"amount":"+0.8044199347496033","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":"Q832273$8FE78F9F-B932-4C3B-8033-A5A8B32392E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631e25bf2f212401324e4557b54ea45fe92650b9","datavalue":{"value":{"amount":"+0.7525544762611389","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":"Q832273$904DF16F-7F1B-4935-AAF1-07E60C14EA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2a1beeb65f90db18752e8b6efdb742022359c2","datavalue":{"value":{"entity-type":"item","numeric-id":5305658,"id":"Q5305658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676ca830fd791a67a04b34acd03b23c46f609f81","datavalue":{"value":{"amount":"+0.7507889270782471","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":"Q832273$9460612D-D1E4-441E-905B-F910405096C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da5b4ac30079ec985bc118bba22bf4a6cbb2161","datavalue":{"value":{"entity-type":"item","numeric-id":4702960,"id":"Q4702960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9498dcfd090b4e169b2b953592a21f49ce47c5","datavalue":{"value":{"amount":"+0.7491621971130371","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":"Q832273$0DBB4BB0-3476-4B9A-B29B-7C82EB629830","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832273$98D0FE2B-46B7-4904-8212-AA7CFF13257B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound verification procedures for temporal properties of infinite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_verification_procedures_for_temporal_properties_of_infinite-state_systems"}}}}}