{"entities":{"Q484180":{"pageid":485947,"ns":120,"title":"Item:Q484180","lastrevid":62182290,"modified":"2026-04-11T04:19:42Z","type":"item","id":"Q484180","labels":{"en":{"language":"en","value":"BH-CIFOL: case-intensional first order logic. II: Branching histories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6381551"}},"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":"Q484180$E65B86DA-AD23-42E4-ADB8-A628C8F7E8D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bab4c34fc8d478c62b279f3f4a5d2a09a93c3d59","datavalue":{"value":{"text":"BH-CIFOL: case-intensional first order logic. II: Branching histories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q484180$3540DDAE-15B3-4268-A152-29D8728301A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bdfa63d9827f7ba8b0cbb42f5351285017c582","datavalue":{"value":"1325.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$7D4FC964-AD89-481B-A1EF-C2C63D3E196A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"750d4989073ef749cd8c83a1443a1eba3ce06286","datavalue":{"value":{"entity-type":"item","numeric-id":238495,"id":"Q238495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$E99BD346-DCFC-4C2D-BE31-E7BC5127321D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c82036c07fd020a3d4c8b8e7b92eb2b804164a12","datavalue":{"value":{"entity-type":"item","numeric-id":918523,"id":"Q918523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$0721A9B2-DE85-4A01-89EE-2B8EC59F3E5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$C302F549-93DC-416A-BDDA-BEFE5EC051FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e7ef269c0353f4813567770f63d7637f2cf5c5","datavalue":{"value":{"time":"+2014-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q484180$77051B66-2E18-472F-8F9B-9C038E6D3422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$4B5F12D1-1B1B-4ACB-9C68-4CAEF90FA5ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b389e000f3b925ca82bae3f6b134763d82fe204e","datavalue":{"value":"6381551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$F2C593D1-EA5D-4A9A-A615-5AD1DAC3CC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$AA19AF14-B829-497A-8919-C7708D7966E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$5A0A4055-F074-45E6-841C-CD36D5154E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f25efbd7eb224132764a528703bc1f8328a56507","datavalue":{"value":"sortal","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$79A7B99A-763A-4ABB-BDF3-AFA4A5945B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc7af04a2eeabb45dbdd271a70ca2e562240381","datavalue":{"value":"tracing","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$FF44153E-F546-4BBE-B858-F52208FA28DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f28834f5f1d5cd3e79ec5980dee7961ff067ae","datavalue":{"value":"substance","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$41304166-0D31-4642-99CB-ECB53E767777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$ABE1E58C-8115-4B2B-9789-48FE004DA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2daf79ddd261d36e855eeef6119b02fbc1c46838","datavalue":{"value":"indeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$2FE6D75B-893C-4CAA-AD49-A2F1A8FE184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23ab83b0e0b7402d2b88769b37817a48d25bf49","datavalue":{"value":"branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q484180$BACC5E44-7601-4BCB-B71B-086C25AAFB00","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":"Q484180$2C25B96F-9EC2-41EF-90BF-D353807A9736","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"061caeef0acbed9b45d5397cb10e39d0ceceb392","datavalue":{"value":"Q39285285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$5CD9A66A-B09D-4518-98E3-4BD93CC8C98B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4745b12d505f4ea20843d8c2927abc6aa91b381","datavalue":{"value":"https://doi.org/10.1007/s10992-013-9292-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q484180$1855D8B0-E658-43AD-B03A-B36062C2804A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32143187ece6dde994e273e15bd46dc46dbaa92a","datavalue":{"value":"W1594812752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$9B4CFA12-9B58-40FB-AB34-F7E653363965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"641449b454cc4419b8d4a8fb6d77750a053089e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198418,"id":"Q1198418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$4219D671-2997-47CD-BCEF-A12C4C278101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ca01e4cfcc646e3dc93432d93396242200db28","datavalue":{"value":{"entity-type":"item","numeric-id":4430392,"id":"Q4430392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$A5A403C5-EF1E-4DE3-9915-9338A1A4A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbb397794d92caeae20deb3794a614026caf60f","datavalue":{"value":{"entity-type":"item","numeric-id":393605,"id":"Q393605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$A39CE5B3-B9B6-4C58-8C56-52222D1858B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc012b704de38ed4eddaf9c5a5638c98dbb7819","datavalue":{"value":{"entity-type":"item","numeric-id":484112,"id":"Q484112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$8E252A11-2F79-43FE-96C0-7B0BA8CAB556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f515395370fafe15c517dc7d5b4efec8bde05","datavalue":{"value":{"entity-type":"item","numeric-id":5668436,"id":"Q5668436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$F5CAFCB9-BAA1-472E-A392-FA7A313FFB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6ec4e6ba1cc79ebcb9630c584a97bcee529ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3309807,"id":"Q3309807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$48B08A44-545B-4D84-AE80-BFA166E92C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$86572ADB-F42B-4F97-A7F5-AE63EBD34F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf49855e785731415bb3ff5d91a09501d60d83c5","datavalue":{"value":{"entity-type":"item","numeric-id":393615,"id":"Q393615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$3F976891-40D8-416B-A24D-C5565A5A60AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f147cbdb4ef29685cd3e4f2829576ccddb793f","datavalue":{"value":{"entity-type":"item","numeric-id":395577,"id":"Q395577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$4F8A1463-8F02-4F85-A2A3-7BAB7921C9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$C085C234-EBB5-455D-B8F1-77A2F8F42B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b69c529aa4cdc161a262c7206b047f9e8638ab","datavalue":{"value":{"entity-type":"item","numeric-id":5686018,"id":"Q5686018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$EEA74FFA-7DF8-4E6D-B9D5-4D9FCB3AB230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$F89A3F6C-F006-4E38-AD48-3238A8964579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$F71337DC-9752-4EFE-950E-2BDDA1C45ED7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"20f21317cacea62495fccd2365801212ac8d82f6","datavalue":{"value":"journals/jphil/Belnap014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$AE54E7D2-630F-4CE5-8C20-D5B311A84E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa07001820519f9546a3834bd74ffbecd7ec566","datavalue":{"value":"10.1007/S10992-013-9292-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484180$CE90282B-7ED5-4429-A627-FA86D9E7863C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57695303c82fedf6d862e71f2ce9b3606941249","datavalue":{"value":{"entity-type":"item","numeric-id":484112,"id":"Q484112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629821669cb9c03db97cfad9350b381f04e4f493","datavalue":{"value":{"amount":"+0.767680287361145","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":"Q484180$AF94F01E-6267-4751-A879-D75E5E9D2E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778e02e091282e0c40e5970d934bf377851e8eff","datavalue":{"value":{"entity-type":"item","numeric-id":488365,"id":"Q488365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdc0ffd2149b1672738904b7f098dd983922f09","datavalue":{"value":{"amount":"+0.7519264817237854","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":"Q484180$C02462D8-FF36-49A6-BEEC-418205AB6886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdd4dadb53714ab79905efabf5d3d2ad34edb07","datavalue":{"value":{"entity-type":"item","numeric-id":393606,"id":"Q393606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb827243d512bce274554d37860962c74eaf78af","datavalue":{"value":{"amount":"+0.7285574674606323","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":"Q484180$619086CD-6718-4337-A855-AD9BCCE95364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd3088e7eac0a837daba1d195ecb89f99584f15","datavalue":{"value":{"entity-type":"item","numeric-id":2447073,"id":"Q2447073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c2bdc6b10d35da01ddd9ef5ad16c6294da1e47","datavalue":{"value":{"amount":"+0.7280942797660828","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":"Q484180$20DABCA1-5093-49FC-8DB5-D2CB01311102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842975269770d46c787a509abd0229cb1c6ba1f7","datavalue":{"value":{"entity-type":"item","numeric-id":3001371,"id":"Q3001371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22168c026b032fc7d5b8263ba1d91726ae82a575","datavalue":{"value":{"amount":"+0.7268915176391602","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":"Q484180$86AD6E2D-317E-4953-A441-292E5C06F419","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484180$8FD8512B-C53F-445F-9826-F98B7FC07CC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BH-CIFOL: case-intensional first order logic. II: Branching histories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BH-CIFOL:_case-intensional_first_order_logic._II:_Branching_histories"}}}}}