{"entities":{"Q5452711":{"pageid":7482270,"ns":120,"title":"Item:Q5452711","lastrevid":50327348,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452711","labels":{"en":{"language":"en","value":"Model Checking for Action Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259560"}},"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":"Q5452711$421BB4FC-241E-4842-9EF7-EBE6D49A9218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b5ff50d25638d5007c3e40f788caa87d0c23c7e","datavalue":{"value":{"text":"Model Checking for Action Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452711$3CF97593-A223-4277-A1FB-284763376A78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fa52943981960038167e0a8e24b249365c959c2","datavalue":{"value":"1138.68447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$723D4212-64F1-455E-ADD7-0CDAB9F456F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd92b3c79df8c18b01d62c53652e40b915d2ee1d","datavalue":{"value":"10.1007/978-3-540-78163-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$E64EC695-8D1C-426F-B335-B10E90E5AFB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$37395A1D-D76B-4CA4-9A87-A174C7AF263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$0E60D536-59B1-484A-ADFC-A7F1262CC3A0","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":"Q5452711$04F8BA10-D605-4640-96D4-4B8907264271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452711$06E5563F-F177-48A0-8F50-5FE4DF8EC672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$1B952083-35D7-4505-AF90-F87D06B6856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$F8049E1F-A580-4255-8427-9D733F57CB3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2260e8804b7ae471495e5bcee5045c5b81442e4d","datavalue":{"value":"5259560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$F3A3A38A-EDEF-4650-812B-7BD897C49010","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":"Q5452711$5E1A9639-8491-47EF-83DD-A3FEFD7EF76E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba362f2a6d972ab678dad851670a9482f1ac667","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452711$54175DF4-5407-4191-9989-B04631698293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d5910ffef6d706382389c465ef5a2bae3c0d428","datavalue":{"value":"W1578451176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452711$51042248-D73F-4E0A-9277-3DA8A36EF067","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a3deac8aeed628e59655f72ead0119db0047cc","datavalue":{"value":{"entity-type":"item","numeric-id":4023588,"id":"Q4023588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$B3D2360B-0C4B-4A12-853F-1DE1925C4E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$7ECA78A5-1B82-4A0D-9521-BE46AABC9E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$749A8E20-AF06-4AA4-9E09-B3888731A600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c5d3aaee6bf0dc703d8cc0f9b880f20f1682","datavalue":{"value":{"entity-type":"item","numeric-id":3522918,"id":"Q3522918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$E6B48E30-7F22-4759-A743-6780115EC94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52462cdd51415ffa20328df20519fbd418df7f17","datavalue":{"value":{"entity-type":"item","numeric-id":2810972,"id":"Q2810972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$BFAEFF1D-23B1-4522-9ABB-65E48968BAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$749BB3F1-78E1-46B6-ADA2-45DEF988A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$41F6CFB4-A912-4BBB-B8BC-9CCE39EF6396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001df6d4c2f40e31c30070e72341fc800e24361c","datavalue":{"value":{"entity-type":"item","numeric-id":5310632,"id":"Q5310632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$CC7A564C-C567-4DB6-8F4F-BF911D0647F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$8608E747-2620-43A9-A0B5-9D2E1E4F7F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$24844D4A-12E0-4031-AC40-352FE0D4F138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$6D2D2981-8160-4E2E-AD86-0C7776330001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcf70792c55adb15de4587b5c77e262623fd7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3510804,"id":"Q3510804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$FB2AEEA8-1F90-4416-B028-74FFFC984CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6581a83a49274a510e21928269bd8a70366ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$181B377A-D12E-4587-8CCB-210E9CA34B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$98CA28C0-3454-4218-B087-A7B3E0C9EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$886FD602-0D92-4877-B90C-E1B86859A7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$1006C140-5E4C-473D-8714-695308485018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452711$515D177F-0930-4B99-9D7A-6F7EE288B17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3068b40f32c993fcde0cd37c30fdd44aadcc867","datavalue":{"value":{"amount":"+0.8024501204490662","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":"Q5452711$B3527B08-C72B-4967-8AF2-95DB01813D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4225dcb4148da8240a3cb9b59e0e7e51d5e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":1019017,"id":"Q1019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234c52114a5851224e71d7a6c56c292c5320ca10","datavalue":{"value":{"amount":"+0.7962679862976074","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":"Q5452711$5AF86A74-2B5E-4E80-B001-6000B7D3C832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b6c101c75ec4016438d8ed575712cdd47d66d","datavalue":{"value":{"amount":"+0.7938165068626404","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":"Q5452711$74482F82-86AF-4236-B730-DF80FF5720B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf55ad778d5220e73625a2e0dbb604798fac56e","datavalue":{"value":{"entity-type":"item","numeric-id":4411975,"id":"Q4411975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f13a2eed6c7884cae00cb42ce66cdc885d0686","datavalue":{"value":{"amount":"+0.7830543518066406","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":"Q5452711$73C3B9F5-4C96-4207-B745-BA07B543D575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad03ff6333c3ed180eebe7337a643a70d2c0de2","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744f16f2f03e6215f32780e5cb372fbeadf1416","datavalue":{"value":{"amount":"+0.7808075547218323","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":"Q5452711$5BA7157A-7D41-4178-A1A4-D1B823475039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452711"}}}}}