{"entities":{"Q1784791":{"pageid":1795533,"ns":120,"title":"Item:Q1784791","lastrevid":53214077,"modified":"2026-01-24T11:46:36Z","type":"item","id":"Q1784791","labels":{"en":{"language":"en","value":"A bounded model checker for three-valued abstractions of concurrent software systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944743"}},"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":"Q1784791$9D078E61-B84B-484E-824A-F4BB1AABD6F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd91417a09614bf2cacb14d57d5b560efccb609f","datavalue":{"value":{"text":"A bounded model checker for three-valued abstractions of concurrent software systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784791$EE2E766D-AD35-467D-9A4F-3033C583F586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1363f7eab236f5a1ea994af5a92f2c1f533a652f","datavalue":{"value":"1396.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$B828A011-E687-484D-AE3C-E50E54D0058E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5286b5f0e25105ac9f3205cd3c5c57ae60ba463d","datavalue":{"value":"10.1007/978-3-319-49815-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$E5DBAC9A-47A3-4D89-90DE-6B7F6615D5C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24ded8c8d541f1e4a4b945a9397a18dce6ec659e","datavalue":{"value":{"entity-type":"item","numeric-id":832015,"id":"Q832015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$C9CEBF9E-CE41-4E60-8970-028B1EDBFF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c51fc34b1b317a7e03e3f5619e37da770cd338","datavalue":{"value":{"entity-type":"item","numeric-id":832016,"id":"Q832016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$89B30515-236F-4111-8465-9E77449B95D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4867eaa6b0909a04eef15563a783dcd84d88c7ea","datavalue":{"value":{"entity-type":"item","numeric-id":1784790,"id":"Q1784790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$F91F16A9-CB51-4EE3-97E4-72E891F2F541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784791$2D8D9C5F-4AE1-4176-9434-90ED5FEA55F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$C54F3DD3-CEE2-4CCA-BDD5-3807AB18BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$783BB94B-AE44-46AB-9291-66A8AD4A83EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b663b6143aa7ff8a09963ad22231386a20561014","datavalue":{"value":"6944743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$4AB7D7D3-337A-4BA2-AE34-51056660ADD7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$5E6E6221-1C34-4F83-95FB-065F19D123D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$548E4F07-C4E6-4F31-A893-47126FEB5622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784791$C199A805-CE33-4B2D-BA9E-C33C40C654A5","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":"Q1784791$5CB98700-4077-4B5C-99B3-BD15C1BFA378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3ed8a47c17938369ff437228aa0fb3d147ac83","datavalue":{"value":"https://doi.org/10.1007/978-3-319-49815-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784791$97D39187-37D0-4651-AE60-C6B6983D6087","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c796a0a6529cb69a51be57cad0cf1cc632ee8b93","datavalue":{"value":"W2553899165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784791$1BDEB99F-B4F2-4BE2-92F7-D0D147B02323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957af6e9375e802f4dc46acb44cd3f73c5297e06","datavalue":{"value":{"amount":"+0.8104182481765747","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":"Q1784791$9713AC79-17BF-4982-9A8E-48CA57E0B140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac20a690109042c82b16f340273a51f7f72895c","datavalue":{"value":{"entity-type":"item","numeric-id":2093157,"id":"Q2093157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0f5f475dc103a19e43f32fb182d760af0a4c0a","datavalue":{"value":{"amount":"+0.8103316426277161","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":"Q1784791$38D8B47E-EDD8-46EB-983A-D0887E72024F","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":"9c1c4824c678c40eb74b203a641cf618d8a5b0d7","datavalue":{"value":{"amount":"+0.7707293629646301","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":"Q1784791$36D56C8F-92AA-489F-BB12-3D1A859662C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e1d5adf1c0b7b97e998cba7a5fba10d3aecec3","datavalue":{"value":{"amount":"+0.7699305415153503","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":"Q1784791$EBA4D91B-A850-4E21-A597-3B025F60C6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e1d5adf1c0b7b97e998cba7a5fba10d3aecec3","datavalue":{"value":{"amount":"+0.7699305415153503","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":"Q1784791$3F901767-389A-4D92-AD22-BD59CB505B59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1784791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1784791"}}}}}