{"entities":{"Q3007658":{"pageid":3018382,"ns":120,"title":"Item:Q3007658","lastrevid":80157212,"modified":"2026-05-06T15:34:01Z","type":"item","id":"Q3007658","labels":{"en":{"language":"en","value":"Orthogonality and Boolean Algebras for Deduction Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908718"}},"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":"Q3007658$6D95015A-FFA2-43E6-8CFD-07B9999DDBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64f1325289651bd6d95fa42fa4fb0cba6ed0eff","datavalue":{"value":{"text":"Orthogonality and Boolean Algebras for Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007658$A332731F-8129-40F4-ADD6-3EFD84A4CE0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b613400e192dd949bb5dd28df7ada6bffd333554","datavalue":{"value":"1331.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007658$9D09BF21-C5E5-438C-8F41-339C2F92D110","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5398ffacab011455b9d6b4ac16e84acb19dcdc6b","datavalue":{"value":"10.1007/978-3-642-21691-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007658$8BF7BF5E-750A-4421-AE7C-BB65A11924CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49b5af76041dffa05da9518344b26ff1f15c9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2343126,"id":"Q2343126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$A21E81E0-3827-4241-81F2-627126E9734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$3E4071DD-C3E9-42D8-BB9A-1FA6D7B3AF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e708c3837dd01826e990d479d06ec21c45976b0","datavalue":{"value":{"entity-type":"item","numeric-id":2873777,"id":"Q2873777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$0C861314-3832-4078-9F50-286EE45E8D2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$42C4DBE1-41B4-43E6-BD7E-A941C9114FB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q3007658$183DB4C1-66C7-47B8-B71F-ADEA7F0CCB60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"637af226385227625db2b2aa7dd9e57464658ec6","datavalue":{"value":"https://hal.inria.fr/inria-00563331/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007658$BF067FEC-C3E2-45B3-BDC5-BDCC79F86E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007658$8C76B8DC-EE53-4287-BDB9-3112BB556A40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0022d4f8d901602985c77a1aba560701a25c82","datavalue":{"value":"5908718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007658$4E924385-9CDC-4AFB-A7B2-37821D939489","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":"Q3007658$A0D3308F-B2D9-4308-B9FC-569B05EA3256","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"500e000eb051096d1da2e8fe42449814d3d47de8","datavalue":{"value":"W15085223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007658$747DC08C-D4C8-4F30-80CC-B9A0D44A8ABA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$16E8E6DF-A7EA-44AE-A736-A8F93D0D5CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$A668B2C3-E439-4DC7-AB2F-4A92BBCB5A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00050bf08d8c66ff630f04c504e55da93f3d3677","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$918807EA-7A2A-464E-8918-DB2C4AFC2329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$D41766D7-E160-4078-A733-A8CC265B5C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d4e38bc26a617ad6c486910865ea965b523631","datavalue":{"value":{"entity-type":"item","numeric-id":3612439,"id":"Q3612439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$0BDDA45E-82DB-4B9D-9AF1-03F26774139D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$F83F8E66-D43B-4029-984D-8A992989AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$AC8DD50C-6B9A-46F2-9602-3D2C0FAE48E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd21fe6abd494371ff51f6c929645f455284b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2482840,"id":"Q2482840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$F6D41D91-5D5C-4640-8C93-1B02D2DAACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$842D42F0-22A9-4C6C-855B-A713F61E28A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007658$C1D5F7E3-ED84-410D-8E16-074979F217D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f551ac1fd2d08471566a20bf370ffd38da51a04","datavalue":{"value":{"entity-type":"item","numeric-id":4395640,"id":"Q4395640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f756b8e29da7f2c396ce86fdf816b9d7cb1c38","datavalue":{"value":{"amount":"+0.9033082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$2E3DB082-3668-4037-AF24-8B80ECE5D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9761491ecb82d14571bd4c0414e85eddfe26ea4b","datavalue":{"value":{"entity-type":"item","numeric-id":930767,"id":"Q930767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc372f1535da5f6602aee344faf649033581668","datavalue":{"value":{"amount":"+0.88772786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$CF072F09-689B-46A0-8897-817E0447DEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21a2f4593c54392ea8c758acd9e1e73d498645","datavalue":{"value":{"entity-type":"item","numeric-id":5955524,"id":"Q5955524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb7323c3777bf406baeed52e11b466b4e3f9135","datavalue":{"value":{"amount":"+0.8857535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$568DCFA2-9E62-4662-B64F-228348644B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33eee07dfbba32706e97dab4d2cd373b01211d2","datavalue":{"value":{"entity-type":"item","numeric-id":4895426,"id":"Q4895426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e47524407303cee6669bbdae06067fe9155b5b","datavalue":{"value":{"amount":"+0.8828093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$7B57E160-85CF-4EC3-89A8-0E42B8B69925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc117c5a2ae76e68481a50d229f4da7bb0a589a0","datavalue":{"value":{"entity-type":"item","numeric-id":3498425,"id":"Q3498425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08425cbfcc088c855cf529f97272cda57f54cc3f","datavalue":{"value":{"amount":"+0.87743807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$6E147E8A-6826-40DD-A7C9-39C4A04F35A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f371fc73b9dbb177c4bef358dfdffa2d5855b03","datavalue":{"value":{"entity-type":"item","numeric-id":861643,"id":"Q861643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c429df7277987161f1f8337876a4f2d1a2f6ed28","datavalue":{"value":{"amount":"+0.8768705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$796FEF30-DE9E-40BA-95A6-C189F78067B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4e1b7ef1d20ad48a4905cce0ba9af6c3e074b1","datavalue":{"value":{"entity-type":"item","numeric-id":4489077,"id":"Q4489077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77c09bbf7db9c89c50ea1b32292f23465eb3bdd","datavalue":{"value":{"amount":"+0.8752553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$04684860-2858-40D9-9364-C92BED91863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c890c2229cfe282ace2a4d67e42b1d6ec7b17e","datavalue":{"value":{"entity-type":"item","numeric-id":4513410,"id":"Q4513410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463f62b4ee199930e30c52c900730d5d8752763d","datavalue":{"value":{"amount":"+0.874604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$2FAADB33-0FC7-4861-8A1C-8B596A9CF837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f5121aa2ae99b1bc9209581106cc5c4870732a","datavalue":{"value":{"entity-type":"item","numeric-id":1896751,"id":"Q1896751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc6a98924bcaa4b1384a57f32b72b8638d62fd3","datavalue":{"value":{"amount":"+0.87294924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$6D5D05F7-8687-4256-8076-0A6947B12D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22047e480e59efc0a1148feaf11985e1e2f24af3","datavalue":{"value":{"entity-type":"item","numeric-id":682672,"id":"Q682672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3c1b50c56e999438ed2b04842388e67a3d2dbe","datavalue":{"value":{"amount":"+0.8724449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007658$0FD61B0C-4A78-47AE-B85E-4CBF4AFBC143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthogonality and Boolean Algebras for Deduction Modulo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthogonality_and_Boolean_Algebras_for_Deduction_Modulo"}}}}}