{"entities":{"Q2946626":{"pageid":2957346,"ns":120,"title":"Item:Q2946626","lastrevid":52347221,"modified":"2026-01-22T10:11:28Z","type":"item","id":"Q2946626","labels":{"en":{"language":"en","value":"Logic of infons, the propositional case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483134"}},"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":"Q2946626$ED125393-3BC9-479C-8EA1-FA0B7115A0A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dce03ddf12194479ed16b4ec09e65aad07c3a440","datavalue":{"value":{"text":"Logic of infons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946626$3EE90832-9395-486E-BA54-3E2FF5451D73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efa1ed127b6ae9262d69e58710b11ba408a970ef","datavalue":{"value":"1328.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$3C1B117C-EC36-408E-974A-2D184CC2D2CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7831a36cc24ec19a26cbe14879fe342f49db0fcf","datavalue":{"value":"10.1145/1877714.1877715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$F2050249-18C3-42F9-85A0-E0AFA7AA7E68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bc1aafd60c7bcaf9c58a9773693e136bf21f74","datavalue":{"value":{"entity-type":"item","numeric-id":220688,"id":"Q220688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946626$1C920AFC-24CB-49C4-B05A-76D4FDA9F8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946626$A63D6206-7139-4098-B2F1-93559D86B7C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946626$AE838853-7738-47CC-82D5-BB4FE246008C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946626$CCD6FB82-F9DA-451E-B80F-E72B05B78939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$B0E4BF33-C3AC-4620-9178-E3F51D1649D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$295E5839-DDD2-4839-BB36-2EF44B7858CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916a10972e9760f738aa9679b404e482520145bf","datavalue":{"value":"6483134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$429DB622-A774-4251-9DB5-69C21D4A98D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$E0A0396F-BBAD-42A9-9BE2-4A1CB3E1A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$11B6181B-59E6-40E5-8472-3981E6F629B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71ee3da27b3dc7853ffec217073448ddef7a630","datavalue":{"value":"derivation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$ECC0FAE7-054C-4534-A34C-356D9835949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6016026a8f9210434d2a013c2095fa4f722b7cd6","datavalue":{"value":"infon","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$8DA50AC1-DE7C-41D2-A653-FE62BFD32F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672714df649f59907842e2a776f396e85559659c","datavalue":{"value":"infon logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$C211E08B-FED1-4656-91A8-DD8525E44DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$30E185B3-8541-49F4-9626-617EF0077E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946626$31EFE933-D608-4214-8A48-9B42B48D79CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946626$DE4D628E-B8F9-4145-A5AA-2D4393B979C5","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":"Q2946626$04095996-8858-4383-B7BD-1C131411C18F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2d61a24e3763026ce09afee1f1bd9296f39176e","datavalue":{"value":"https://doi.org/10.1145/1877714.1877715","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946626$730801E0-214A-49B3-916C-310B9EFAD606","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2a2bc333568000fba26bf51f5938ee7992c0a0a","datavalue":{"value":"W2159914860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$6DC9FE89-E4AB-4F94-9FC6-A12A69AF920C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58d114e9f51e537810afab4c7be5823ee5e8ae11","datavalue":{"value":"Q130849098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946626$B4A5CCBF-9D05-4920-9F5E-81F11337D0E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd01a986505ffe6be25e5090d723aa0d766f15c7","datavalue":{"value":{"entity-type":"item","numeric-id":3397633,"id":"Q3397633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ff354ba20e6ab235b31b3a9370206d0d6039cf","datavalue":{"value":{"amount":"+0.961441159248352","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":"Q2946626$E45899FA-6936-44E0-B3D0-89157F69F6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d5faf6c997b2926301bf09e30fcfbf356cfcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2900510,"id":"Q2900510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d909ab98896190e2f7cea7b062ea0ad66e2389a","datavalue":{"value":{"amount":"+0.8361445665359497","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":"Q2946626$2117EBCA-8912-4D80-A02A-35FD5F988585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3b7ebc77abccc11be97d2ee91332d0b8be5a28","datavalue":{"value":{"entity-type":"item","numeric-id":2963910,"id":"Q2963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777699bb77d13b0620880f748ace529c76771903","datavalue":{"value":{"amount":"+0.8339895009994507","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":"Q2946626$68F3B061-3DEC-4C4C-8698-DBFF97455A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1660d3e8cbdeb6a1dec507d6e268dd14f1348","datavalue":{"value":{"entity-type":"item","numeric-id":4928774,"id":"Q4928774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5446a2a85ab3762a98d42592368488c3ff7cd47a","datavalue":{"value":{"amount":"+0.8128350377082825","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":"Q2946626$93F7E593-AEA9-44F5-A299-24C6B4AD1332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1efbf05d7ac6793df10579fba6d3c8aa45f00b","datavalue":{"value":{"entity-type":"item","numeric-id":4904141,"id":"Q4904141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9789e465efd3a311c26ee70c6274e41c575c364","datavalue":{"value":{"amount":"+0.8027684688568115","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":"Q2946626$2902D762-84BD-40A5-A5C4-0B8322C3D9B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946626","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946626"}}}}}