{"entities":{"Q916637":{"pageid":918485,"ns":120,"title":"Item:Q916637","lastrevid":49395007,"modified":"2026-01-07T02:17:47Z","type":"item","id":"Q916637","labels":{"en":{"language":"en","value":"Closure properties of the compositional rule of inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154408"}},"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":"Q916637$03BCC9CF-B3D5-4F9A-B574-7791E4067D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caedc089800ad02ab45444688b8a24a23c61decb","datavalue":{"value":{"text":"Closure properties of the compositional rule of inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916637$FDCF0A6D-B166-4C38-B15F-70649E86B38B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b419211099309f966e05e6539f380bdb695dd8b","datavalue":{"value":"0704.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916637$39A813E9-EB1C-4E57-9534-F3924212FB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ed3cbc845819b0bee5a0126236e16f6badc77ef","datavalue":{"value":"10.1016/0165-0114(90)90191-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916637$EC48AD57-9208-4FF2-B948-08DE5874B8BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0c950f67b5b51bc2758abb57b7099aaee2e9dc6","datavalue":{"value":{"entity-type":"item","numeric-id":255112,"id":"Q255112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$3D59C29D-5795-463B-8696-B959DC02C269","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$C6B8003C-57AC-47F1-B96A-771EE009147F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q916637$8BEB94E3-245C-4F61-956D-6D96CD9AEA52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916637$F03ABE5B-184B-439A-9DE5-1FB173F2BFF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c3a2a7529816b1fecdfb403f84a4d0882a5b68","datavalue":{"value":"4154408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916637$13460950-E9F5-4695-9660-45DA8B87D61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54c447385c800a4b13b14304ea60e3e373ae3c5c","datavalue":{"value":"compositional rule of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q916637$6AEE8F89-2559-4126-9643-821DF53A81EE","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":"Q916637$5C96A4D5-AF88-43B0-B9C6-74B5B6D94404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b361b8e188467cb91e7b7c2eb43289ea72e3bf10","datavalue":{"value":"https://doi.org/10.1016/0165-0114(90)90191-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q916637$BAFE2315-B975-44DF-815A-94F650EEAE95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4018ccd9e7c98503fd94f19f58fe818eec9a7abc","datavalue":{"value":"W2100197763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916637$C20CBB3D-249E-4178-A750-F6E03C8844CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a994ea20516457deb3fd6d0a965fecaf51bb3ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4161300,"id":"Q4161300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$5EC7EC0D-8E2E-4907-B434-35720A611D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c45bab2477b87ed009ad14c7188bbddc138c63e","datavalue":{"value":{"entity-type":"item","numeric-id":1259543,"id":"Q1259543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$6A33FC4D-4A90-45B2-9692-A824BA9D51A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ff0d244886a54094363c55086ce9a027eb1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4039980,"id":"Q4039980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$831B6F0F-1A5A-4C19-832E-F71975DD17F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$F89C2ADB-07F7-4CE6-8757-FE981B64D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$3E89D179-D73B-4BE9-B9E0-74562D1A06FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$31BF82FC-2306-451B-B3D8-3A87C0E04AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde3a138e5414daab0bb53f211c2407b3ecefb22","datavalue":{"value":{"entity-type":"item","numeric-id":4091902,"id":"Q4091902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$31113D54-72B6-4F61-A4E5-F2EAC27AF51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9e99c550acb73dd461febae9a3738f88082517","datavalue":{"value":{"entity-type":"item","numeric-id":1253933,"id":"Q1253933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$9293660C-62BD-440B-A937-C650FF7126E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb35bf8214d0c16127a7e467acaeeecb21240d1","datavalue":{"value":{"entity-type":"item","numeric-id":1256861,"id":"Q1256861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$E090E52B-55F5-416D-8D07-6E0CB8EE2732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d14a5260bd9a80cb30ae226841b5ab5e0e82ad","datavalue":{"value":{"entity-type":"item","numeric-id":1256862,"id":"Q1256862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$4188772D-7B02-4A5C-9515-695631097897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b68636171ca23da9824bbdaa0ae5e2affc0c68","datavalue":{"value":{"entity-type":"item","numeric-id":759490,"id":"Q759490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916637$317A31B5-66CC-4B5B-A95C-BA397187C3F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fa40a6be1e6deedad956cdea0909f11f597d54","datavalue":{"value":{"entity-type":"item","numeric-id":4281881,"id":"Q4281881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb583ae2cc3942b32b3446e20a681643ca29fe5","datavalue":{"value":{"amount":"+0.8140861988067627","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":"Q916637$B41CF914-AADB-4E2B-B65B-8C2CBB3E5946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d722bec3215c19885bcf4c060139c8731dae60f7","datavalue":{"value":{"entity-type":"item","numeric-id":1915516,"id":"Q1915516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ebbb8933c2ee972cfa7c3072e5750079afe469","datavalue":{"value":{"amount":"+0.7974700927734375","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":"Q916637$D035330A-481C-4210-AC56-474BAC92A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f57cd60f401d7c0784539b1898a055f25afe7ff","datavalue":{"value":{"entity-type":"item","numeric-id":3337455,"id":"Q3337455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c80d0b24ccb571d859450ed6e641a0af3311068","datavalue":{"value":{"amount":"+0.7953870296478271","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":"Q916637$7227ACEA-3C98-4F5A-8CE6-044663D29854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa2c3c75709f3d04280ef411296ab7568ad7862","datavalue":{"value":{"entity-type":"item","numeric-id":3699668,"id":"Q3699668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dac26e2618cc06baaa125c8249687c3f65ae22","datavalue":{"value":{"amount":"+0.795317530632019","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":"Q916637$11B41A9E-E3CD-43D2-8974-13C694CB2461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe17c22aa43fc99eacc01af4cb442b525e8f60d","datavalue":{"value":{"entity-type":"item","numeric-id":3680813,"id":"Q3680813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b0813f99e62fa62eeea3a9af4c9a865da79d07","datavalue":{"value":{"amount":"+0.7909483313560486","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":"Q916637$AD67B36E-411E-4598-974C-809D411B0FF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916637"}}}}}