{"entities":{"Q4878147":{"pageid":6907726,"ns":120,"title":"Item:Q4878147","lastrevid":46433355,"modified":"2025-12-24T18:58:59Z","type":"item","id":"Q4878147","labels":{"en":{"language":"en","value":"GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 880803"}},"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":"Q4878147$C57CFD3B-DE31-4A6E-B299-F10E2F419CA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1b54c64d3663d83e5b60670f2df94cf1a87f546","datavalue":{"value":{"text":"GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4878147$BE06C400-6A10-4C1F-AB9E-377651DA6B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb6207ed3976cd85eaa4aaf2bb1fc200beef9c8","datavalue":{"value":"0845.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$BC16C017-657C-4C17-916C-B4BDFAEA5D69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d9259537c45aeaf3a36baf979073318396e281","datavalue":{"value":"10.1080/03081079608945125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$D8895EDC-17A9-482C-8B5C-835E6AB7A7A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4878147$1880D2BB-A8D4-4E5E-BE27-736997933ADF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1df81e788c24e735b818d872bb7126f8abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2711637,"id":"Q2711637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4878147$C6C37A5B-5CB1-4DFD-8545-1B263ABF01A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5292ab516e4ffbacaf8b2cbb34f3460bc6d7ebd8","datavalue":{"value":{"time":"+1996-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4878147$2608B621-DDE5-41A5-8E45-1F2AB52A5364","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$891F519F-7CDD-40D7-AC35-72FA00A2FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$E5697FAB-2E53-4CAB-8AA7-2C205EE6534D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21aa0d2056c0f4f35cf5c45a6c187ee8ab21963a","datavalue":{"value":"880803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$CC797685-AAE4-4807-97BF-9B85B74966F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c193926ea536d495f40d6cbf6dac9b25e87769","datavalue":{"value":"belief function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$064B3D60-4DB0-4DE6-A383-4402C101A80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a279a186a28b7608f278c3b1bc3f3a8a1b40f86","datavalue":{"value":"finite frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$2C401CAE-4451-43D7-9CE9-461FA469C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47b3f1098dfb12dd379b2a8d51cfe84568f8bb","datavalue":{"value":"open world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$961538C0-1454-4F72-8D4B-13F611BA6CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce46dbca1737a094afc7a152a2b44f6227888679","datavalue":{"value":"probability of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$818480FB-686C-4495-A073-C3267EF5F071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$99B4F54C-71A0-476C-805E-95E0140127CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a986ef0bf1e2e2058411dd889082399252d63d2","datavalue":{"value":"G\u00f6del-L\u00f6b modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4878147$73632774-9921-45AC-9298-F1412E9B808C","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":"Q4878147$5DF8ACD3-0985-46CC-A89A-E9B6388B6452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c04d1685ed92554325c5d255aee0fb073d60c6a","datavalue":{"value":"https://doi.org/10.1080/03081079608945125","type":"string"},"datatype":"url"},"type":"statement","id":"Q4878147$5F1CB763-B71A-4AD8-B1A9-E32CAFF4379E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41d922f9fb1a36c63766ce8b5c5eb338cd3e450e","datavalue":{"value":"W2066032566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4878147$C8A11FF2-2717-4059-924F-6B4C19598905","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4878147$5978EE68-9506-4FF0-A32E-A9640B527989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a902c64413bc90fdfe3fd0e51f88a88a093132f3","datavalue":{"value":{"entity-type":"item","numeric-id":3117229,"id":"Q3117229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4878147$674433D4-6CB0-4880-9A76-AA4487AD16DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4878147$F1CDA0EF-C0F1-49B6-B369-5FCE8A067618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde9a7c00d688ccffc4a1e32762ef57cd004ab2f","datavalue":{"value":{"entity-type":"item","numeric-id":4460673,"id":"Q4460673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5407843a6166434a046c5f567878dc4bea55bb64","datavalue":{"value":{"amount":"+0.7735863327980042","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":"Q4878147$F205A062-F988-4C30-B200-F97900AE8526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca64c1093c6e01acf0861fbc17925701c6af1b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4295882,"id":"Q4295882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c65543a65caa9dcb966688191c443f47ca6f91","datavalue":{"value":{"amount":"+0.7677918076515198","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":"Q4878147$DAD7600F-B75B-4BF8-8E15-971056AB5432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb8ad6b27536519841f7fc8c5807df9d0e81dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5900623,"id":"Q5900623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc7177aa1e04de116a30b76081b1c934d623211","datavalue":{"value":{"amount":"+0.767779529094696","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":"Q4878147$73D2BC11-4F4C-4FEC-9544-F9A7325FD15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa39b2fc54bc31a1e1c0ea6fe9b7411a3d7c8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3427859,"id":"Q3427859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4147f0fbb5b388f11230abd8ce63973a29444af1","datavalue":{"value":{"amount":"+0.760819137096405","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":"Q4878147$698F4087-4B29-4ACF-B38F-D1535D5FE330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3f567847384f19ee55541b6abec7e3bdf5060b","datavalue":{"value":{"entity-type":"item","numeric-id":3356292,"id":"Q3356292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a29d2a94155435e35826ff5ec898b9fc7824f4","datavalue":{"value":{"amount":"+0.7571839094161987","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":"Q4878147$8594E1AF-5084-4D16-9DBB-278536ABD014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4878147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4878147"}}}}}