{"entities":{"Q4032659":{"pageid":6062393,"ns":120,"title":"Item:Q4032659","lastrevid":55238143,"modified":"2026-02-05T04:46:22Z","type":"item","id":"Q4032659","labels":{"en":{"language":"en","value":"Relation algebras of every dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150015"}},"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":"Q4032659$E75D23FB-2ECF-44DA-BC91-BEC07CF845C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f3e560fd2ef2efc045e14adb9829e6b5c9d788b","datavalue":{"value":{"text":"Relation algebras of every dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032659$69E3EB78-3973-45B9-8A10-CF2ACED7A8AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d7c6e260fdaa54cc65cf79d90b74dd25e482c3d","datavalue":{"value":"0778.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$ADE4CED6-038F-47DC-8220-46781A5A362A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f04834d830cf770b44e54c9b5b16c07030a1df50","datavalue":{"value":"10.2307/2275365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$E66B2A71-60FE-439E-BFAE-B4DD51798FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$356384C8-84ED-4739-B535-38DF6F0FA6B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$C4B0408E-96A5-487D-8740-1DA554C68A3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032659$3E8899FC-8B56-427B-9FB3-1CDE7F4A628F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$B629D4BB-CF0D-4B55-9ABD-677E4530BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$68A436A6-A858-4B42-9734-902DA4D4D140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c36459da8b24ef252496b09cc629154d54e579","datavalue":{"value":"150015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$EE7057B0-E320-4A14-883E-34E23651AEF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$3215ECC4-1283-4173-B202-4861EBFF77ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"068826c039a58e8f8fd8d3db572f15328066593e","datavalue":{"value":"provability with finitely many variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$1DB1F676-C32A-41A1-A024-C9A42330C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9701d12b774e9faa3e909df9ffc8f83b3b252c07","datavalue":{"value":"\\(n\\)- provable equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$4D50C1A8-C35A-43E8-8F3D-E295637A6EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db687de351b31fb42c8eef0ad002db46ce521c6e","datavalue":{"value":"De Morgan-Peirce-Schr\u00f6der calculus of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$09A30BBC-F9F1-421D-90E5-4AF7A737EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$8272017E-98E0-4506-A0EF-AF9526F3512D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11f8400f6873da13cec0e760f9b577a4678fcb9","datavalue":{"value":"finite relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032659$3A0FB439-A204-485D-BE07-65F61CB0E248","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":"Q4032659$12918D8D-51DB-4241-8497-B694C3183659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ada3fb6ba3e4c806ab8e3d2a942d12f6f7bf471","datavalue":{"value":"https://doi.org/10.2307/2275365","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032659$A83CC596-1462-4DF9-9775-F53DFC041A43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"969f4b14a8347f72cb1bdee17d5db15c3fea28cd","datavalue":{"value":"W2084388215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032659$EBD5DD39-BE0A-4F3D-BB94-4A5BBA7BB5A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$2648B87A-D341-4C4A-9208-2EF38AFD7984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$93580DB4-3A46-4EF6-B705-5E9FB97C0751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$14D83E08-ECB0-4D1E-8999-DAF0E2651F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$AA894DC6-7302-4E92-B81D-3F7D6A2E087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$CB808072-A64D-424B-BB3A-21DB14D9682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db4775565adf80964d422a92037fe6d6a70156","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$57AC6751-0033-428E-8630-5B645964364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb2ddbf83b5e096ef2ec3ea0d717ff5eb833427","datavalue":{"value":{"entity-type":"item","numeric-id":2537778,"id":"Q2537778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$FF8D8DC8-097B-4EA9-89F8-A1112F4EA892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032659$AFDCC4E8-01A4-42E8-BE7F-CD7276393DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f253f8af72eb52242b460e0acea7542f91ec32a2","datavalue":{"value":{"entity-type":"item","numeric-id":1964020,"id":"Q1964020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12c6e0f71079f4d2ae38d8e75eb21302b0260d5","datavalue":{"value":{"amount":"+0.7959482073783875","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":"Q4032659$376CA790-E308-4DDB-8834-2342E8145B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4396b6f3e8cc931c2e16dad205379cb3b404c5","datavalue":{"value":{"entity-type":"item","numeric-id":5956889,"id":"Q5956889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12c6e0f71079f4d2ae38d8e75eb21302b0260d5","datavalue":{"value":{"amount":"+0.7959482073783875","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":"Q4032659$CF3ED5FC-46F6-4177-8BF3-A2ECA2AD336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90936eee10d5dbcb7dea8fb7242d25aac3b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eeed800390f45e5106d3ae90717897403f5ddd6","datavalue":{"value":{"amount":"+0.793915867805481","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":"Q4032659$E13D788A-F173-4073-925D-B8F8683C142D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b02e4d1c83403a03a310bdd69a81c11ea811d7","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a82c1b6b0d47e8b0cace6d035256e20a8832fa","datavalue":{"value":{"amount":"+0.7774626612663269","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":"Q4032659$86C79C64-797B-4308-A78E-C62C0000650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9fb8da89fc8945e87f77b8b155ef5b03f5030","datavalue":{"value":{"entity-type":"item","numeric-id":4329274,"id":"Q4329274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a82c1b6b0d47e8b0cace6d035256e20a8832fa","datavalue":{"value":{"amount":"+0.7774626612663269","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":"Q4032659$84EA79BC-0145-4310-98F0-EDFCF57A3355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032659"}}}}}