{"entities":{"Q4795878":{"pageid":6825458,"ns":120,"title":"Item:Q4795878","lastrevid":74652111,"modified":"2026-04-14T23:46:03Z","type":"item","id":"Q4795878","labels":{"en":{"language":"en","value":"Formalizing Belief Revision in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874427"}},"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":"Q4795878$74927951-8A3E-4A32-8B2D-3FF045E156B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8935853c843a90750ca2e5e2ea3df577697279ee","datavalue":{"value":{"text":"Formalizing Belief Revision in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795878$B51CBD30-F900-4DF0-8C9B-391645E56C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"827ac78f672b3efa9017edd18908773717d5cb03","datavalue":{"value":"1015.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$A5B769A1-01C7-4124-A3CC-674C3AC562B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed8998192cd7e329be082a4f0b49b6247f2f7df","datavalue":{"value":{"entity-type":"item","numeric-id":1289101,"id":"Q1289101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795878$FF240344-319C-4825-93C2-F2F143A10C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795878$48043025-C05E-4664-9E3A-7D4536985999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795878$AD0F5E5A-971C-48C1-9F24-967FE2939116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af6acebe0ba8380f0e7105638b65df81e8c477f","datavalue":{"value":{"time":"+2003-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795878$01A7B7FF-ED35-4D54-B822-27B30BC36893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2719bbecc336c91e2b3d96c54fa7dd78fe7f103","datavalue":{"value":"https://semanticscholar.org/paper/ba1ef77d6c3f4f0a22c5d3de388888aa9e1c1b71","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795878$F05DB79F-A7D6-4EAC-8BB5-D1F8AD22DD6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$63C6F130-4B30-49EA-8634-9186B10A8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$1A9F62F8-95A6-4A46-92B0-F7C04D7EC372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$795D05CB-8300-4ABF-94BB-42E023826505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc5dc914876ef741a4f666036d2abb1dff1f1865","datavalue":{"value":"1874427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$E73C3EDB-44E8-4514-B64B-E8332BDAA104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795878$D898AAFC-BBF6-48DE-A131-09DD757ED15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795878$9AD204FA-40DC-46DC-B1E8-937D7FEC9496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795878$87A577EC-65DA-4BA1-B4CD-7094DFF0E13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eebf585f70c55987c7044b81b00fbc3060013ed7","datavalue":{"value":"revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795878$E26A5F97-5503-4A62-B26E-9D5868B4D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795878$F85B1208-D7AA-45B2-8796-B7FDE10E6002","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":"Q4795878$7045B57C-A72B-4AF1-BC84-22F8090FCCC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbde26eb3f7d849e64639c010d9d0a0df87d96c5","datavalue":{"value":"W2123605861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$E0C1EBDF-3DCB-40C9-B3DE-FD1DBD361A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59ae387756b39da1bac36312e84c26f6ea6f37d0","datavalue":{"value":"10.1093/JIGPAL/10.5.461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795878$A7BEDD92-F6A5-42ED-979E-030E7252918B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795878$72CB542B-39B3-47E2-BEC0-32F4A7944CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4969a9d23207a6540272f9d00231aa43f699b46c","datavalue":{"value":{"entity-type":"item","numeric-id":2908764,"id":"Q2908764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2270149764e8b702e696df53c1520fbb77ea9fdb","datavalue":{"value":{"amount":"+0.8193365335464478","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":"Q4795878$7DB82709-6995-4DC3-A110-328777136DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6865587de35d96aaec4351a787a75361d49d3885","datavalue":{"value":{"entity-type":"item","numeric-id":1285676,"id":"Q1285676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec62c3bbd83b0d084e60311c0cf08bca7f8ca42a","datavalue":{"value":{"amount":"+0.7571621537208557","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":"Q4795878$18F62E72-C206-47C0-9700-7028868C4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a301eca2f20096b65e1474d4b0f367275bb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236364,"id":"Q4236364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920ef5e29c38a98b4877178abf80c6a4acaa358f","datavalue":{"value":{"amount":"+0.7535353899002075","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":"Q4795878$9A7B1790-D026-41CE-AD65-69A4542C7237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4c86995c3cc27a7d579886aff0b2f8cfc4beae","datavalue":{"value":{"entity-type":"item","numeric-id":5753941,"id":"Q5753941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920ef5e29c38a98b4877178abf80c6a4acaa358f","datavalue":{"value":{"amount":"+0.7535353899002075","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":"Q4795878$7A739394-1E49-4F90-AEEC-C680C5E27224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23798989ea0cd6e1c8b41623abebd8d746cab132","datavalue":{"value":{"entity-type":"item","numeric-id":4537431,"id":"Q4537431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d15c6903e496bd45c020284f2db566bdc7a6549","datavalue":{"value":{"amount":"+0.7515074610710144","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":"Q4795878$AA491DF6-F611-41E6-8D35-EC47E8143FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Belief Revision in Type Theory","badges":[]}}}}}