{"entities":{"Q4556005":{"pageid":6585597,"ns":120,"title":"Item:Q4556005","lastrevid":56869614,"modified":"2026-03-24T09:24:29Z","type":"item","id":"Q4556005","labels":{"en":{"language":"en","value":"A useful four-valued extension of the temporal logic \\(\\mathsf{K}_{\\mathsf t}\\mathsf{T4}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983878"}},"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":"Q4556005$C65F62A4-9D0C-4566-B798-0BAE9FF77170","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77b99369fd5bfa2fe2b7bdff382af624f5430c41","datavalue":{"value":{"text":"Useful Four-Valued Extension of the Temporal Logic KtT4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4556005$55389728-999A-4CCC-8ED4-565384C0D2B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a09040c7bbbf5b7bd817d62a32a03a60cd84a3e","datavalue":{"value":"1470.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$54FDCE98-CC53-437A-AF4D-FB309DE38219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9c53e3a27cbee7daec9d10fa633421a7451a36b","datavalue":{"value":"10.18778/0138-0680.47.1.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$DC9B0E97-70A1-4B72-906C-B68C7A9F8121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b315087d1a3645d34cffe01a7a3bb28b7e4f10","datavalue":{"value":{"entity-type":"item","numeric-id":908218,"id":"Q908218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$37087057-6F4B-4C7E-9989-D6B02730D702","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$6A00BE26-8A0B-4623-9B95-97C5997D8116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4556005$09D918B1-BF0B-4552-9E2E-80E38CE1B2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$1D513E31-9792-4B93-A3E3-E8FD4F67BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$C7BA9E45-D21D-4370-A5CD-6E9CB228C5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$14D781E9-FE6E-403B-BCF1-329834FC3B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$FDE5999A-FF14-418D-AB85-91EF041EE8C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bc76a1ce00a3dddf4ce9a1c2a2cb064d0f0cf8e","datavalue":{"value":"6983878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$DD7FE817-A0EE-4908-A0B7-F14A95B875B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$B5B02C5F-E0F9-4CA1-A40E-6DB903C8217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$BA3AE9B1-4F71-468B-A002-E2773498D78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$B72EF6A1-6627-4613-8B6B-0F7CEAC3EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$F8529F5F-F58B-405F-B2F6-30D6B7BA45BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$AFD542E3-6C4D-475F-BE17-5BF37697B1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$CC267CE8-1EDB-4E5B-87DD-07B62EB65527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f11acdd0c080051c00ad174fdb2640e50b5695","datavalue":{"value":"cut-redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556005$81995461-97B9-4A73-A478-12B03BE22124","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd396a436a0a8d52490e1718a2ab404deb09e62f","datavalue":{"value":{"entity-type":"item","numeric-id":24296,"id":"Q24296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$630015C6-F72D-4BCA-B719-700397EB5303","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":"Q4556005$FAF3BBF3-E3CA-4E78-A663-ED969B39B9E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86396067631cbe377733bcb52bf2bc7baca7e09d","datavalue":{"value":"https://doi.org/10.18778/0138-0680.47.1.02","type":"string"},"datatype":"url"},"type":"statement","id":"Q4556005$E663CC2F-9009-4950-82F3-EC05D4126CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab7ab139aba69ddbeb0f8ec586803f907aa58ca1","datavalue":{"value":"W2909351909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$958D4089-B115-4901-9F6E-630D8BDC8FF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$C54CC178-831F-4BB6-BDC5-967899BF4537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6932392a256289f6b0a0a5f95af11c122423e5","datavalue":{"value":{"entity-type":"item","numeric-id":5937806,"id":"Q5937806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$FB834649-34E6-45AB-BAE8-3F5F9034D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4df7af3595735cb6618f1bc3309e8dc30505ef","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$09DF987F-C3FE-4466-BE46-D5B0E67AB84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e3347753b0fc1a15905544eddbfdf2a1c01a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1775870,"id":"Q1775870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$1C9E6103-CA27-45A5-8E98-7875F3DB4B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$04D217BB-F3C9-4097-9484-2F89D1D559A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de698f346004b700539f49de3c710b282d7bd11d","datavalue":{"value":{"entity-type":"item","numeric-id":4925909,"id":"Q4925909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$9C540D98-14A1-4DA6-9357-7581C6193D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$A79F8764-D057-4E70-98F7-812B2C4A2CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$9054717A-702D-4757-9A95-1EBD928E8A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51cc071a63d7e2256ef91f1a5892cb76da195303","datavalue":{"value":{"entity-type":"item","numeric-id":4128539,"id":"Q4128539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$93CADF3C-F887-4FA0-8967-BD89A0EBBFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$94B6D29E-ADAE-4349-928D-8EC89CEB8DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c419044310034c556c2d78cfe2e6de858e4bdabc","datavalue":{"value":{"entity-type":"item","numeric-id":5283965,"id":"Q5283965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$7ED04443-9615-47CE-A68B-30E82A5B62F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3d8574e3336f27cd57df5df75def16113fc168","datavalue":{"value":{"entity-type":"item","numeric-id":701297,"id":"Q701297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$672D518E-0856-45CC-923D-D621F2CF39D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$4E884F2C-9789-444B-B0BB-F26C57F2E1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$106060F6-C7BC-4A2E-A126-185E83B31C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$B755BE73-2D60-45A8-96CA-A33B75C47D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$70FA108A-DD73-41B3-90A5-752561395120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9308f21556115a0692cebb92c5df9579809b3b53","datavalue":{"value":{"entity-type":"item","numeric-id":4662881,"id":"Q4662881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$B54E0592-62A1-4953-B6BF-24CAEBC3F16E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b2fa6229666a7cfd637613c827c027a5f0cf29e","datavalue":{"value":"Q128577255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556005$3CD813B8-5FD2-4086-861C-C7FFEF90E258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1c7eddee1d0c2ba92fb655d8bb438b716b5b49","datavalue":{"value":{"entity-type":"item","numeric-id":3323923,"id":"Q3323923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e5943be2982b09b6289b7406764e60d4e9c803","datavalue":{"value":{"amount":"+0.783132791519165","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":"Q4556005$724F34A5-C6D1-460D-99FD-98FAF7B84EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe0da8cbc7e1da738d2746c20004a79853997f8","datavalue":{"value":{"entity-type":"item","numeric-id":4338319,"id":"Q4338319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477c08c37e2298325bee00c527a373711ad5ce64","datavalue":{"value":{"amount":"+0.7372705340385437","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":"Q4556005$061693B3-F4D2-4A63-8667-79EC6142D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6881ba1928d0398180c832ea777b9ff18704aa26","datavalue":{"value":{"entity-type":"item","numeric-id":606997,"id":"Q606997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0123cc5c64045f66f1bcffad2531116d5d6179","datavalue":{"value":{"amount":"+0.7305085062980652","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":"Q4556005$B8E08D81-5CF1-4E1A-BA3C-4B78924983F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449ca352140b6894af5286a6cbb60461f7cf9969","datavalue":{"value":{"entity-type":"item","numeric-id":5459725,"id":"Q5459725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9640cdfc9515b3fb4bac521c6e61e8274feacc1e","datavalue":{"value":{"amount":"+0.728879988193512","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":"Q4556005$66C7E5F7-5DF2-426D-9216-F30B9193FA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c27fc0638b03eb6448b0b858abf7c1b49b2817","datavalue":{"value":{"entity-type":"item","numeric-id":3835441,"id":"Q3835441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08458560c7bdf7b956ff186e0758906553d2ccf","datavalue":{"value":{"amount":"+0.727893054485321","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":"Q4556005$6953FCDD-2918-4C99-859D-F8D7C03445E5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556005$69B87D79-07F2-4137-80B1-B8C8F77925DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4556005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4556005"}}}}}