{"entities":{"Q1203115":{"pageid":1213864,"ns":120,"title":"Item:Q1203115","lastrevid":66473088,"modified":"2026-04-12T10:18:14Z","type":"item","id":"Q1203115","labels":{"en":{"language":"en","value":"A verification system for concurrent programs based on the Boyer-Moore prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 110526"}},"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":"Q1203115$E0FCBAC5-A863-4C8A-AF93-BDE58ED6F552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfc1bb0f3ce903a455490e1d858cdb20e68afd6b","datavalue":{"value":{"text":"A verification system for concurrent programs based on the Boyer-Moore prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203115$2FA2C008-25CF-4778-BA72-7C231483A4CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9957ef0473d8bae57f5d712c1225a4ff8af49b02","datavalue":{"value":"0758.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$554AFA4D-5FA9-4C72-BEC0-782483197739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ead42de9478d39314801db3a4027bd784cbb1450","datavalue":{"value":"10.1007/BF03180564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$E4F6FFFA-F66F-41AA-A9DC-421FB1867F80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74ab161205b2632de50aff2567915fa99648a937","datavalue":{"value":{"entity-type":"item","numeric-id":1187852,"id":"Q1187852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$54521815-3351-4021-8E15-97DC4CA43C91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$1DA26BAB-638E-4051-8914-5E62A9A0592D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6804e778601fe2c7ca2ec610584daaeab1b8f8c8","datavalue":{"value":{"time":"+1993-02-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":"Q1203115$A0B7A909-9BC1-4D7D-A0B8-2389E59DAA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$CB9082AA-01A3-4A4D-A005-6218606995E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$017537A9-3600-4F6C-845C-A17AC7FD3A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fa506b1d3e10a2f83d5f69fd6adf6206432e70c","datavalue":{"value":"110526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$77C152DD-FA01-4324-928B-C3C714F0827C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203115$C935EAEB-54E7-4562-ACC6-2CCE34A85C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203115$F195F753-E636-470B-99CE-D5F445A7D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad9273f1bbda09ee1401d47135ef54452262ed7","datavalue":{"value":"Manna-Pnueli model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203115$6C7F9257-3B81-4DF9-A8FC-D8DC93DD90C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203115$5096FCA2-F5A7-4E48-BA2A-BF5E7D45785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203115$BAA06F45-DBD9-4739-9C12-1632B0780307","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$F2F178B1-3785-43AC-AA57-1FB5E3C4B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$2193E69A-64F7-4B32-8E5E-23B8217AED35","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":"Q1203115$0506E14E-F5E0-49E5-A33D-A632F13A7E45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$20DB7587-55B3-49ED-B570-0956137A9DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df99d010c323d1ce4719d0c5115c3a289e30a204","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$9B603EA8-E76B-4FC4-92B0-0C3DC3454BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$F1E9121E-B99D-4D10-9D0D-C6CCAC8A5693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$4DBED1B8-29D1-422E-912F-147E0B98ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203115$62FD1BAB-4AE7-498D-B469-E3FE179BAFB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a57f2b26ddd7509012f965b8457bb5a1647d2e","datavalue":{"value":"https://doi.org/10.1007/bf03180564","type":"string"},"datatype":"url"},"type":"statement","id":"Q1203115$FDBF2D6C-4FA4-433D-8E63-1F975D4A1048","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4de17356015eb04805249d519790bc7da5d7e44b","datavalue":{"value":"W2034892041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203115$4D5219FD-C0E7-4823-AFBB-2E1A9C5DD18D","rank":"normal"}],"P1643":[{"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":"e8164ec577c116918aebbb7942160a7d75db7d51","datavalue":{"value":{"amount":"+0.8123500943183899","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":"Q1203115$693FE0F0-6251-4DCA-AB71-EA0B28F81E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed58649527b45a30c8bf0f209a9b2229e7451a53","datavalue":{"value":{"entity-type":"item","numeric-id":1267030,"id":"Q1267030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd34041791b92ac44ee2122417f48f5b1dcdcdd","datavalue":{"value":{"amount":"+0.801311731338501","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":"Q1203115$05700B22-70F8-4D87-9077-D76059DC5BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be12cd9d14394de5ce6139854b9541c852f0ff89","datavalue":{"value":{"entity-type":"item","numeric-id":1819947,"id":"Q1819947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd34041791b92ac44ee2122417f48f5b1dcdcdd","datavalue":{"value":{"amount":"+0.801311731338501","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":"Q1203115$7C9C4EDD-9AD0-4677-8834-88F676C751DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfcafce1dcfb3fb16e0edfc66d6647482b188ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1c117ad3251a749376f28dbe533c334148420c","datavalue":{"value":{"amount":"+0.7920644879341125","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":"Q1203115$75CE672B-B760-47DD-809D-FC2E96BF393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9556637daf5dc933b273c51526d2996cfd4c03a6","datavalue":{"value":{"amount":"+0.7860931158065796","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":"Q1203115$7F7A97BF-F62E-48EE-B585-B57566D16641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verification system for concurrent programs based on the Boyer-Moore prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verification_system_for_concurrent_programs_based_on_the_Boyer-Moore_prover"}}}}}