{"entities":{"Q2793909":{"pageid":2804647,"ns":120,"title":"Item:Q2793909","lastrevid":83504537,"modified":"2026-05-07T08:33:00Z","type":"item","id":"Q2793909","labels":{"en":{"language":"en","value":"A note on the independence of premiss rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6557709"}},"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":"Q2793909$A73AB5EE-75F8-4131-93EC-F7893DC01B94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ac698c546a02595c0aa2943d658209c6835147","datavalue":{"value":{"text":"A note on the independence of premiss rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2793909$74DE6D42-1A90-4EA5-8EA3-0B411AF75BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a728333a6d134fa194a246f11dfa21daa1daccc","datavalue":{"value":"1357.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$291E467A-F1B9-4C6B-9AEC-D97BA582BC0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$9FEFDFE9-C27F-41BA-B8C7-700D4853AB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44622238969ceed011f8b0cfcc8c06015ed49f3","datavalue":{"value":{"entity-type":"item","numeric-id":781508,"id":"Q781508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$6C8BFDBD-B303-4021-A14B-DC2A2181F5A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"459c2533d63e77607edc999af3b493bad48eda54","datavalue":{"value":{"time":"+2016-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2793909$A712BAFF-51C5-486F-A508-75BEFB71BC17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$7E21B60D-CDB2-4F87-A417-755B611E8048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$E50BEEA0-C7BD-4FAB-911B-439111A0E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$213712A2-E512-4030-9B57-7F39470E2371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02920c589dc4afe9a83d17af715833009fdf7a9a","datavalue":{"value":"6557709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$5C1002A7-F926-40A5-906C-93B683DA868F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2793909$8F08AD31-D0D0-4D59-9325-3132DAC2CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2793909$5014DBB6-413F-4EE7-8B54-08D73A1FBCD2","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":"Q2793909$7C06F8B4-B101-46E3-A48C-D666529A1A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68e203fcd28d2b0afd96fee57dcc65f9562c3e89","datavalue":{"value":"https://doi.org/10.1002/malq.201500032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2793909$815E1685-06F5-40B3-B24E-F8D6736EA256","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1953cb4db745d2ff580380f8d6c754ac52e285ec","datavalue":{"value":"W2511698788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$13CAD0AC-CA08-4896-AAA5-B3F2A6CF7849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8499dcd4e318fe9e2662c86acff2802aad74e0e0","datavalue":{"value":{"entity-type":"item","numeric-id":892139,"id":"Q892139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$8DED065A-210F-46FD-9195-49F1FF48A3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abb670df6f5a721581efd6381b449049864bddb","datavalue":{"value":{"entity-type":"item","numeric-id":4939409,"id":"Q4939409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$CB7D3576-59B4-4187-B552-8384FDF21B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$C0BE63E5-A26F-45F8-B7B2-53360625B9D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46c35c5f41fc34263f7825082f11e9e2d969125f","datavalue":{"value":"10.1002/MALQ.201500032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793909$29E66939-5A1E-4A92-A2B4-C25ABCC77B99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793909$044BC933-525E-49E9-A399-94BDCB0E7341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11486bf5aaed73675f3a90ff9fadd7d84dca4cb","datavalue":{"value":{"entity-type":"item","numeric-id":2204366,"id":"Q2204366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146577a448dcc2a5d0f8da39847b8a2c19e5e6c5","datavalue":{"value":{"amount":"+0.911981165409088","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":"Q2793909$1A825D7B-F20F-4A62-AD1F-C20E12A92EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53749888900a2133b4056d5653381c6868b1a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4808464,"id":"Q4808464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de82fd9fb69256cdcad01d8fc79e7e716defe969","datavalue":{"value":{"amount":"+0.712784469127655","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":"Q2793909$6370AD14-3AFD-471F-A385-A7AB93CC7292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98d626f95df4b823041efeecfa1a7f987b32276","datavalue":{"value":{"amount":"+0.7123169302940369","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":"Q2793909$6C939318-753F-4E69-A03F-941297AAD93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0522efca69039012a3aed205fca5833cb13426d","datavalue":{"value":{"entity-type":"item","numeric-id":3705453,"id":"Q3705453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ee87d08f3fedd4809527918421a37361bd432e","datavalue":{"value":{"amount":"+0.7067402005195618","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":"Q2793909$EA0C174A-892F-4E18-B901-304CFD4B777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8deb1bc2922a2c2ff338f0dec85da65fd4cfad","datavalue":{"value":{"amount":"+0.7062541842460632","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":"Q2793909$9B99111B-0726-468D-A725-F1809ACEEE78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the independence of premiss rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_independence_of_premiss_rule"}}}}}