{"entities":{"Q6165812":{"pageid":13300693,"ns":120,"title":"Item:Q6165812","lastrevid":93955046,"modified":"2026-06-05T05:31:51Z","type":"item","id":"Q6165812","labels":{"en":{"language":"en","value":"Multi-valued logic for static analysis and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721066"}},"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":"Q6165812$7F8DBF96-BAC8-4FBC-BF8B-39E740CA125F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e206ad9044c6ff9db65ce823a0a2c7fd0edc933","datavalue":{"value":{"text":"Multi-valued logic for static analysis and model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165812$964C82E9-E6F3-449A-814D-C3245FACA6EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ca22fbd68b22458ee170da31afa67fb5b4a7195","datavalue":{"value":"1519.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$5F52CAC3-B305-421C-8531-A407E08B5DE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65c4290ff50cfcbf9d34a56b1df443c0df7dbfe","datavalue":{"value":"10.1007/978-3-030-22348-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$03241105-41A6-4ED7-AA88-03E0871BF6F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165812$5C6BC5C8-04CD-4A14-AF7A-E810C5D08D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165812$1E17BEF0-D8CB-4650-BEF5-395C68006CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ec4b15df2542014efabb8782cbe6dee55cf66b","datavalue":{"value":{"entity-type":"item","numeric-id":2024369,"id":"Q2024369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165812$E7E36E71-70FB-46D3-BD61-451D5B55D518","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":"Q6165812$E82FDE4B-E322-4EAA-9D47-4529D64C6418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165812$205FA9CE-802D-424B-B064-B97F9E856E37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$E4C448BF-DF63-4D19-A392-68C586DDE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$A9BA8E97-BCDA-4198-BF99-C55E90CDA1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$5BE69E5E-F2E0-48AD-B79C-C930922462CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$725EBA71-E426-4F56-B22A-C25F0607FB7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4f76ecfe8055020bf173f76569887d32748cc7f","datavalue":{"value":"7721066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$AC93CE36-0464-48A8-967C-AA4CAF92002A","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":"Q6165812$CCF02CA5-8A00-4D65-B6CD-00F3CFFA1D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5061613e71ffceba3bd61406169f32e3c916e9e5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22348-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165812$EF2F7B64-F843-4683-B787-8E7DB33DD7E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49f8766b4aad24700736a0947f42ee9210830d4d","datavalue":{"value":"W2953893469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165812$D6244D38-1AD3-4F85-840C-9307A3B4F8B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57746bb871259dc24072963d97237c1b11f06b76","datavalue":{"value":{"amount":"+0.9604075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$0FC84E81-7E4E-4B9F-94AE-38D97B9C74B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962b23d0e59ac120833f97f18ef5ec888a8a7b28","datavalue":{"value":{"entity-type":"item","numeric-id":2763963,"id":"Q2763963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3967e29dcf78329803b5bb5f541bed653f7e7888","datavalue":{"value":{"amount":"+0.95721793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$0BFDA2CF-6C05-4CB0-963A-CFB034FE72F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c57564b42540b67653ee9fe2c14a4d275e82c","datavalue":{"value":{"entity-type":"item","numeric-id":4450445,"id":"Q4450445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96fbff0a22cafe1e35a37d0e725132856316864","datavalue":{"value":{"amount":"+0.92994857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$ABB5AB11-5EE1-4801-84ED-88A7E9558927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39abb76b0139ee77e167ce5326405d296ecea277","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f3f54c86dcc918f9b112cd15073af41537f25e","datavalue":{"value":{"amount":"+0.929268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$EA5218AA-4E10-45EA-A583-15E5EDBB3BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0874bdfccb72c12e0f6783b0b40e962e0fb24b39","datavalue":{"value":{"amount":"+0.9184537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$D86AE4B2-66E1-42BE-9542-A01EABABD9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c745f091e731485f18385d4d0cd1026ea66b85","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebab8d9aab81d7c453d14aabaea43ac9820b21f","datavalue":{"value":{"amount":"+0.9112526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$CA941AE7-C2CA-431C-8689-14C132720647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614d2e7fad0d8321c16e830ba3f99bef39ee0298","datavalue":{"value":{"entity-type":"item","numeric-id":3187620,"id":"Q3187620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8540e589773194a652f743916d3bbb71c7aa3b4","datavalue":{"value":{"amount":"+0.91050875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$71C7E441-94FB-4A12-9132-AC8F9A533CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab9f0821d2e7779b9bb5afeb57ab2a584597b35","datavalue":{"value":{"entity-type":"item","numeric-id":4900311,"id":"Q4900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60baedc7cb077674abda4418a15a41c094e3fa7e","datavalue":{"value":{"amount":"+0.9038506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$169C6A30-C7A9-4872-AA0F-5465AA109CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760b067db9da312d12ef88c5b6830d46b4878de6","datavalue":{"value":{"entity-type":"item","numeric-id":4791849,"id":"Q4791849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2db332a885c8e8c9cade234b0cba0098be5e4e","datavalue":{"value":{"amount":"+0.90278804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$266C545F-C3BE-41AD-87E2-57E1081942ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516254be15977e59058d90c0bf8267a568a9486e","datavalue":{"value":{"entity-type":"item","numeric-id":5368012,"id":"Q5368012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f78e9442721e14fa05475712e67f8bcd407e9b","datavalue":{"value":{"amount":"+0.90160656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165812$CB10474F-9AB6-4C6E-9252-655CD88C6E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-valued logic for static analysis and model checking","badges":[]}}}}}