{"entities":{"Q4907857":{"pageid":6937436,"ns":120,"title":"Item:Q4907857","lastrevid":90949127,"modified":"2026-06-04T21:52:16Z","type":"item","id":"Q4907857","labels":{"en":{"language":"en","value":"A language-theoretic view of verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138797"}},"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":"Q4907857$5DCE5968-428B-48ED-80C9-D14760323041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af9d0a8ceeb3fa5bc5e02c9ee78df0ab6a05080a","datavalue":{"value":{"text":"A Language-Theoretic View of Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907857$6EB61DCF-A2C4-4EC3-8CA7-BA809A3EB679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1646371851fd70c4d1a19d194aa6dcfce27af546","datavalue":{"value":"1256.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$C59C8FA6-D1DC-4520-8257-7B2CCA973DD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16338b14ea7a7f1280ecd1baa5b05f92626fd67b","datavalue":{"value":"10.1142/9789814271059_0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$F40CCA14-E4E7-4C4F-9D65-9EC0EAA28CCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907857$B74B911B-F7C6-478F-B7EF-D31C3827B319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907857$1A99850E-51C8-47BB-A6B6-E279294568BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907857$C652EE18-423F-4498-8692-A636CD6A9643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$BA4A80C5-FB8C-4F68-9EC1-C98698F641F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$12AA1D16-772B-4E78-A424-ED84CC757C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$235CFFE1-1789-4FBF-AA82-66FE7F6AD8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$CFD17FDB-5925-42A5-8918-E0A45F00FF90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af39438fc64a222486c865882b9adb3e9fdb567d","datavalue":{"value":"6138797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$5DF3DD38-9875-47E2-B755-0D9E8E55EB89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$BE558355-324C-4897-9270-EAE9D4AD07A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$55EFBEDE-8089-45EC-883A-590A5B7E53A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e860314eeb1a93c1b93265a9c37508a478a501","datavalue":{"value":"membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$65CCBD3C-1CE5-47AC-B1B7-4628417519BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a2d9a7e226e3ce759b64adf8649bfe2fd5f441","datavalue":{"value":"nonemptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$E76DA71D-7558-4C8F-A6BC-406225F7C095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454b2f2c3a4833c577534f71309fe5e552955d29","datavalue":{"value":"inclusion problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$D17A365C-9562-454F-86A0-43710766EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$F9FA5D7A-D172-414B-9715-286F85265983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$496EB54D-C54F-459C-99CB-4781FFE026AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907857$94CD942D-D250-4FDC-A164-68B158C36D7E","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":"Q4907857$2C5107FE-E204-44E3-AAD6-D9784AD0E8AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0c4ef0d0d8e85b748e0fc42f00d6985e31ba00e","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907857$3D707E1A-75CE-4DFF-A2AF-9FD48F7EF830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef9a6a66fb8b38f93b5a12801f862c373ebc1c21","datavalue":{"value":"W2403477658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907857$3E15BEF4-4DA4-4802-B8A5-8592FFDAC050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbf9b9ac488c2566c966f0106c93f604c02ec6d","datavalue":{"value":{"amount":"+0.7750237584114075","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":"Q4907857$A23D44D4-BECE-4C57-ABE7-A0B480A59368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef46a0e3c2a4254e920d25bf9dedee3633378f2","datavalue":{"value":{"amount":"+0.7643440961837769","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":"Q4907857$C454DB3C-635F-43F0-9BEC-5365ACDFC081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56b9c2663fe346d5f9621d9626f94634e27d855","datavalue":{"value":{"amount":"+0.7600573897361755","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":"Q4907857$DC199034-32E8-4276-B575-61685C71CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3984129eda32dd364f837c1754a4fe91cc05d7","datavalue":{"value":{"amount":"+0.756788432598114","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":"Q4907857$1E6C05D2-97D8-4EBE-BD68-E954E5EF1871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a0795a6167b0840e536df8f3311f44d8757f19","datavalue":{"value":{"amount":"+0.7511008977890015","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":"Q4907857$29A4E4F3-923E-4E48-8CDC-FD7ACD4CC278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A language-theoretic view of verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_language-theoretic_view_of_verification"}}}}}