{"entities":{"Q5068367":{"pageid":7097943,"ns":120,"title":"Item:Q5068367","lastrevid":55404745,"modified":"2026-02-17T15:40:37Z","type":"item","id":"Q5068367","labels":{"en":{"language":"en","value":"Satisfiability in a Temporal Multi-valueted Logic Based on Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7503901"}},"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":"Q5068367$54CDC784-CFBB-4315-A6D6-92DCAFA79077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0342a4f8579f4fbb7f859a0db9833a9b121550f","datavalue":{"value":{"text":"Satisfiability in a Temporal Multi-valueted Logic Based on Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5068367$40D10E7A-0904-4E37-B278-3086B526DBAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48a70db719133ca3b36046565e6278529b77c68","datavalue":{"value":"10.17516/1997-1397-2022-15-1-56-74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$EDB1149B-F8E8-4793-B123-EACA5124E61A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c130e08a49877a4789e9d65bfa2718cab40f1a","datavalue":{"value":{"entity-type":"item","numeric-id":178409,"id":"Q178409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$1AA10E27-E212-45ED-88CC-792827859B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"719528417e41ea302fea9ece33c5a5d5abeb5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2402132,"id":"Q2402132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$90869657-BE5A-41D2-A487-A3AB61DFB0E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5c2b4f7114dc943c8f2d30a6f940b09cbe4e024","datavalue":{"value":{"entity-type":"item","numeric-id":5068359,"id":"Q5068359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$EEADD055-AC50-4F6D-BA10-C1FA6C5FB4EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a77ef26cbdb5dd3e9602025adc844f742fec2019","datavalue":{"value":{"time":"+2022-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5068367$11D07972-AC76-41F9-9C8B-8D42A87DB9C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c9377178784f1d684d83588291d7a76349cbb2","datavalue":{"value":"http://mathnet.ru/eng/jsfu975","type":"string"},"datatype":"url"},"type":"statement","id":"Q5068367$5207C351-9385-4B0B-99CD-AF38ABDFB937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$2BFE0347-07AB-40C0-8A40-0A298053E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$A2ED8ABB-F691-4DD6-9FDC-C491B6629C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6fb7e055f5beeef488b774fac4a6c92e36280e4","datavalue":{"value":"91Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$23E54F3B-F464-442B-8E98-1E640D379A8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20e3f2a493b9ff72e4eeddc75fb1a59bbf69d1f","datavalue":{"value":"7503901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$038259EB-82D8-4ECD-84A5-28C5E2770452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$FC0A787F-2E02-4875-928D-8CE58EF82006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e532df4083e878137a2a1938ce3cc4113b011b","datavalue":{"value":"multi-agent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$E0C947B8-2DA0-45D8-B5E6-58939834571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852f9e590723c4501b4ca8ca9ca9a1ef1e15cb96","datavalue":{"value":"epistemic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$29A76857-E6F9-464F-B98C-371E0D168F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966b0c2b784390739dc1d2e452f23fe0dbd9b310","datavalue":{"value":"multi-valueted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$89294BE9-E824-4976-9D9E-814BA59780DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$FC2843D5-0BFB-4D9F-A02E-7DB975A2E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da98ac6a3e20fb577182d4e5e13ab63c37b87bb2","datavalue":{"value":"decidability in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$BEF0B0FE-A228-4C85-A7BE-A6B5FB8B70FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$53A4E005-690E-4FA3-87AF-34435FD80347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5068367$B9BB63BD-A1AB-4CA0-8C7F-30F82F7324B9","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":"Q5068367$7BBE90EF-F347-41F7-841B-D33A544F28C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccc0c2a7c4a1e78a60a8009c5f067426602f74a9","datavalue":{"value":"W4226462271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5068367$0779060D-F67E-4542-9470-0A622B928A5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f915c56d9853a162a755e8bf9ae0aea5cdd3b808","datavalue":{"value":{"entity-type":"item","numeric-id":4859506,"id":"Q4859506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$05E535A0-2134-41F0-B742-5B1C44B7B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdfd2fdbb2ebb586461c856b9cc4e757f44bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1330010,"id":"Q1330010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$F013B06D-EFE3-4CF0-B655-2954DE23A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f0f7f36bb0d98e21e1383560933b6a474619b6","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$97EB83DE-18E5-4307-821E-49E3269BA586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ccc3051a26aa1d08baa99e068f33f589bd4f52","datavalue":{"value":{"entity-type":"item","numeric-id":2402145,"id":"Q2402145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$2EEBD659-D8CA-4CC6-A1BC-F03D9326FAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5adf70b313e15a4a4ce22645d7796ab7803c6e","datavalue":{"value":{"entity-type":"item","numeric-id":383008,"id":"Q383008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$10A60B51-4D39-41E4-95B8-C2BFA016485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$C3056755-2F0F-45C1-B8C6-FB842A60DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$31F2E1FC-3383-4FF9-90DE-9197B43B631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be38046b669d607f5918389668567da1f66501","datavalue":{"value":{"entity-type":"item","numeric-id":5917442,"id":"Q5917442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$960FED67-DF79-41FD-A043-5C66F9E6951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03ea0b0348835969e584fd2041cbfcc22544a56","datavalue":{"value":{"entity-type":"item","numeric-id":5406291,"id":"Q5406291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$DE37FE8B-0E16-480C-8EC6-F27792F13B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10973721009083a63e4bf2177d9791308a07db5d","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$CBF394C6-3FC2-4904-9BD3-10D3714C71C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98300141bca03a33830ccc9ad88d3708024b58e","datavalue":{"value":{"entity-type":"item","numeric-id":1669762,"id":"Q1669762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$AEF83227-EE71-4312-AB65-E520E65A322E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023e6a9674618852e0dd5460de8b630d83b39a98","datavalue":{"value":{"entity-type":"item","numeric-id":1669939,"id":"Q1669939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$D20B5875-5DD0-4BD9-B7A1-59DCB4F75AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f9d3fc637b896ebe02dbce6d4ef0d56ba598e","datavalue":{"value":{"entity-type":"item","numeric-id":2207025,"id":"Q2207025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$388B6BC2-96B4-438D-BC24-EB3621278077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19bae534540b3cc8b15a8c0f045c804c3ffb952","datavalue":{"value":{"entity-type":"item","numeric-id":3612355,"id":"Q3612355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$8321EFA0-A303-48BF-8571-CAE20F47B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5068367$555D048B-AE8A-4B2D-9DE2-3B0082C81FE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6e29a5fcb3bd0b76a24142e921ba0e58ac6734","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783c8ada30a6b610e7fefb2bc73f90ad5e6d1044","datavalue":{"value":{"amount":"+0.7987246513366699","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":"Q5068367$E7CA2A0C-002F-4495-81A5-DAD2C278983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109e969c74fa32c18cd4950041ffaee15b93e696","datavalue":{"value":{"entity-type":"item","numeric-id":1669939,"id":"Q1669939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210c44b7c2271fc0d7e702305da4d0f4d9eff7d1","datavalue":{"value":{"amount":"+0.7867278456687927","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":"Q5068367$1409F2CC-7510-46B2-B67A-277A969FE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae72db4409f2ad003c7633a54355b09ad50ce46f","datavalue":{"value":{"entity-type":"item","numeric-id":1669762,"id":"Q1669762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1641a0db430cc5421f75c06abdc042531ece739b","datavalue":{"value":{"amount":"+0.7692086696624756","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":"Q5068367$8100577E-2458-421F-9DAD-920AAA9BBD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac7df1604d8be915d17d5d834be65ad5d199bac","datavalue":{"value":{"entity-type":"item","numeric-id":5068380,"id":"Q5068380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304167ecbb2bd750d5eeec2ab94f421a61190c97","datavalue":{"value":{"amount":"+0.764333963394165","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":"Q5068367$A272951A-FDE1-4EC2-BD62-DD93E5DDC8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0472987b8d13581f66012c4eea887e374d905dd","datavalue":{"value":{"entity-type":"item","numeric-id":2207025,"id":"Q2207025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab6d5a4738ccf19f5dd0323a25a21688bb4ff7c","datavalue":{"value":{"amount":"+0.7636029720306396","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":"Q5068367$17B68207-0064-450A-BA1D-5C813C30B8BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5068367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5068367"}}}}}