{"entities":{"Q622591":{"pageid":624367,"ns":120,"title":"Item:Q622591","lastrevid":51177527,"modified":"2026-01-17T02:30:27Z","type":"item","id":"Q622591","labels":{"en":{"language":"en","value":"Efficient approximate verification of B and Z models via symmetry markers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844643"}},"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":"Q622591$574CABE8-26F7-4A58-8052-3D2DF8722450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2133aae231775d76b431951ac5ee243f9868bf63","datavalue":{"value":{"text":"Efficient approximate verification of B and Z models via symmetry markers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622591$763A22A0-3E68-4320-8725-892094A91D83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d22d43715f80910a54941e8ef54918edd86ac1","datavalue":{"value":"1209.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$1E6091C8-FF11-4FCC-BDE1-945053BA6F57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$2AC04E59-0B0C-405E-A7F3-483100E7E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caec4e9d49e32f5195a34995a38b886bb43ebe9","datavalue":{"value":{"entity-type":"item","numeric-id":434469,"id":"Q434469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$2FF35684-1F53-4A3A-9696-640303FAF260","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$267FE8A5-6149-4E12-9228-4F0A1E5942BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00e3a9eccfe5d0e74245ac3c66cd13d7e27c78b","datavalue":{"value":{"time":"+2011-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622591$5799683B-C430-44EE-8F83-1CBC0882D182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$0410F169-36B5-4103-A7CA-68C77B6B3901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$BA5F3794-100C-40DC-8EAB-B02100EF90E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$5CB53E93-7449-451F-B4AD-FBBA9AABFD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$75196798-FE3B-46AA-995F-2A3287E22266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$83C5AE6E-E6FA-4213-8D7F-0C03AE8C560B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f50b837c25240ec90c28a2d02503c3426b370384","datavalue":{"value":"5844643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$72702144-912E-44BA-80E7-8EA297161EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q622591$407DA4C7-A37A-4422-B88A-3199A4021C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q622591$77F00A28-DE90-4CF5-AA97-CB4B517278A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a59359b5a9258f6a94ebfc339be3f89cf70b82c","datavalue":{"value":"B-Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q622591$01776472-8BE2-4500-8DDE-0E1354C89994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q622591$09BACC71-A733-47F7-8F45-1109ACCF5953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q622591$DDAFAE41-EFDA-4757-807F-1C5725C0143B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02e5db897a38edc1fd8a74ee097bd9055381cb24","datavalue":{"value":{"entity-type":"item","numeric-id":13716,"id":"Q13716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$6CC6B303-9E52-4099-B780-0DE52E3A9046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$F213028A-A393-4F9F-8CA4-A0EDC69B2A3F","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":"Q622591$B39212BF-1C3C-48D3-A6DE-B772DCC95629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$55A971AA-D30C-4FEA-BE90-4CF4063621D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$D4FD1D6F-A867-4A29-A313-F695813FADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$AB8FE8CA-16C9-4CC5-82E8-0D3DDB323BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$5A8F9B5A-4951-4704-A4C3-F29761105F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63f3cfa850ee575905315af13198b25969684fa8","datavalue":{"value":{"entity-type":"item","numeric-id":19145,"id":"Q19145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$7BCA8799-67C4-4D04-A970-7BD6092F8B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$F85D03C8-67BD-40ED-AABA-9A2F4AAD912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a84581dc3d93f7e576ef759b7761cf2f90187ee7","datavalue":{"value":{"entity-type":"item","numeric-id":19143,"id":"Q19143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$6554E1BC-9D5B-4A51-B29A-BB7404BC3A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acd0a7f965bd7a2eea8391d50182b3fc185bc6de","datavalue":{"value":{"entity-type":"item","numeric-id":19144,"id":"Q19144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$F43C0717-A6CB-4FA9-B60C-62DDB37E249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$8D8F3ADE-E382-49F6-BEA4-6C0302675688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7b67ac315eca1bd810228bf9f05a93b80785579","datavalue":{"value":{"entity-type":"item","numeric-id":19542,"id":"Q19542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$FF578C4D-3E65-4AA8-ACED-B1D454974E86","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":"Q622591$E0E0797F-E18F-4C26-8BA7-9D038E335217","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28a198027bed9fdc1bd687cd961cda3255d03a63","datavalue":{"value":"https://doi.org/10.1007/s10472-010-9208-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q622591$AA5148BB-E2AF-42C5-B125-24A6B5E8C2B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35943799a6d73099468d471154391f44c8fe4ac2","datavalue":{"value":"W2054273693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$D15CEB7B-44F1-4474-9258-3B830764BF53","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":"Q622591$C984F93F-BEFA-41B8-92A5-5BA76928E2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21028c64891d6617210ff745a4701f8b8e2239a","datavalue":{"value":{"entity-type":"item","numeric-id":816210,"id":"Q816210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$CD13F9ED-2641-4942-B577-BABF91B4CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$B1724CC9-41A5-4877-B02A-AE0DFE69AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd1bc6cca536cde5c1769eb1109d8a389478bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3510803,"id":"Q3510803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$C80710E6-850A-48F6-BA48-AC0F4E0A477A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6f9bf04a0c1d589ce12559fdcf6fd1827e6a7c","datavalue":{"value":{"entity-type":"item","numeric-id":539218,"id":"Q539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$643A5B63-DC74-4568-B7E7-B41D840ACEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9decb00e1bc83b447621b1b3ecd5efaf057f70","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$8F5E94A4-3754-44C4-B1AD-082D69A09165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6302568f304114c38045d91f7cbdc17b65bf","datavalue":{"value":{"entity-type":"item","numeric-id":2734837,"id":"Q2734837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$2106D901-3079-4A53-BE3F-C109D46ADF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84708e953a99a80184996e9015091c19a0ff3693","datavalue":{"value":{"entity-type":"item","numeric-id":5717501,"id":"Q5717501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$36B8959F-1313-44DD-87D6-4A288E47B47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53086fdad41af287d519aa3fa2688b6e66a224b1","datavalue":{"value":{"entity-type":"item","numeric-id":4830055,"id":"Q4830055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$A3780DB9-465B-46B1-8BBE-A994773211CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee65844130568f7c22ce6c535ff8d8c23b7235d4","datavalue":{"value":{"entity-type":"item","numeric-id":4234989,"id":"Q4234989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$70920931-DABB-478D-8F5E-C56FE25CFE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d30ddf4ad7d79dfd09c6f1678ccfaa559adbeef","datavalue":{"value":{"entity-type":"item","numeric-id":3535366,"id":"Q3535366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$A5528ACE-7615-49FA-B6A0-AD2EC566FAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622591$50FA5481-23CC-4F6F-B29A-B119E301ED2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357b39f89e1ad686f6a93ae7265ea5cda3cc3925","datavalue":{"value":"10.1007/S10472-010-9208-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622591$4B1F0C13-11A0-4B59-A145-096A29BA0862","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e00f58d0b4c6c5b2c3b28540c113badf687403","datavalue":{"value":{"entity-type":"item","numeric-id":3510803,"id":"Q3510803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e4dc79cad220415819e2e8c12d970c5dc51a9c","datavalue":{"value":{"amount":"+0.8416194319725037","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":"Q622591$903C0A80-B78E-4118-B9BD-BBC6E7C84ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79525b50e9bfbe98f43eae818c6de2a025f366a1","datavalue":{"value":{"amount":"+0.7170789837837219","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":"Q622591$8FC656A2-BF28-4A3C-A867-A9002E1EFA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60100f1a3fb27d799df07f736797f7c70bc32adc","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4d8032874603e1b3e754bcee4d8b1d6a3b3419","datavalue":{"value":{"amount":"+0.7095547914505005","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":"Q622591$4EA918E0-388E-4E81-A5EA-89E147D95A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6c83ef57a042b2cbf6c6426c603ea0d66685c9","datavalue":{"value":{"entity-type":"item","numeric-id":5151008,"id":"Q5151008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de855aad7c4b07e6bdc10142dc6de02a3fde6e3","datavalue":{"value":{"amount":"+0.7095545530319214","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":"Q622591$A8B60604-F20D-4111-8449-15076FFBE395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a1436ccda20475d9fbfd926307ca5c1c202c10","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e00fce2d1347e8441586acaea1ad000b37ccda8","datavalue":{"value":{"amount":"+0.7074881196022034","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":"Q622591$4703A649-FFC1-46EA-933B-132FD52E8316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:622591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:622591"}}}}}