{"entities":{"Q3641395":{"pageid":5671301,"ns":120,"title":"Item:Q3641395","lastrevid":50816480,"modified":"2026-01-15T07:07:13Z","type":"item","id":"Q3641395","labels":{"en":{"language":"en","value":"Normal form theorems for the modal logic system S5 and their application to knowledge-base theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5630745"}},"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":"Q3641395$9F19111D-32B3-48A2-9EAF-3B07CB38CB9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c138d5a8ee5e7ab390984932a80d354cff9b8bf5","datavalue":{"value":"1199.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$A4E98AC3-E448-48D7-8569-3C52CAAFEC53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3641395$07F2E3AD-A907-4D04-8DCF-2054754537C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3641395$80B33B01-A631-4243-AC7E-74CFBC66AFE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$6BD15386-6C95-4419-A594-9E4AA36AE3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$48B28EE6-0F53-41E6-9C47-F4665BF19FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$15EC6C79-C33F-4A0E-9FA4-58DBB59C346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$FEB6634F-58C9-4CBF-8514-0A6BC10069F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee5b5d936ae951dbbb43cbc459591b34d0bbd2a7","datavalue":{"value":"5630745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3641395$7C35A716-C419-4942-919F-18C096CD24B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3641395$882A0C04-9BC3-492D-917B-C4D7F26BD43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3641395$F2278A8E-718F-4E20-80AD-C1D2EAB94D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3641395$A8E3C1D9-C4E8-42B6-9B57-90AFB7DD4535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573cf8b6f69e019b91bc796130c35341cf36fd94","datavalue":{"value":"KB-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3641395$E8E2163A-15FE-4D40-AD79-66322B793479","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":"Q3641395$9107EE47-CE51-4111-A1AE-70B55CF5B9C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c7b98d4a2dd2766bf3552344073075ba05b326","datavalue":{"value":{"entity-type":"item","numeric-id":761441,"id":"Q761441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca68268a8732163b6e589e9e346effa4fdc813c5","datavalue":{"value":{"amount":"+0.7828847169876099","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":"Q3641395$B87612AB-C162-46F4-B91C-44061A221257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b96db06d3f95e4fd9fee913657dfc38eaa2961","datavalue":{"value":{"amount":"+0.7347877621650696","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":"Q3641395$B5073DF5-A1BE-4C8F-B70C-0AB5CCCAE5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb94e4d4a8937937214ec612779f882c5020c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5695175,"id":"Q5695175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ca147134d99aa136b5f427e2b7df4f488e62ce","datavalue":{"value":{"amount":"+0.7301440834999084","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":"Q3641395$DFFF3977-036C-4C80-B9DA-4AEAF5F0E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8063af50b2aea4c00cc812d904bb258ece3ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2721206,"id":"Q2721206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00af73011f2901b2c00be855242ab9e690bc548","datavalue":{"value":{"amount":"+0.7301090359687805","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":"Q3641395$46F947F3-F531-41F1-B1FF-C2692D8CF60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809662027c131fc0521168563317257d97ac3756","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98c986da220a767cf6cad7cc9a980a4498ff123","datavalue":{"value":{"amount":"+0.7260356545448303","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":"Q3641395$B9992E47-34EA-48BB-9A00-88852BE4A582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3641395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3641395"}}}}}