{"entities":{"Q1343391":{"pageid":1354130,"ns":120,"title":"Item:Q1343391","lastrevid":67659954,"modified":"2026-04-12T19:12:17Z","type":"item","id":"Q1343391","labels":{"en":{"language":"en","value":"Single identities for ternary Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 718808"}},"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":"Q1343391$5C30B280-52F7-4111-BD4F-7BAD6D93C10B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8481a0e10ebcdda77d78be9153dc4ca1ff59ce2f","datavalue":{"value":{"text":"Single identities for ternary Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343391$9C42678D-ADFD-4798-A3B3-BF668044BEC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0be1ce79f7c9820ea122874f83c4a8610b79527","datavalue":{"value":"0811.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$906269E6-3A9F-40A9-9C10-CBA66B508981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893331bd9c1d26f531d8e8074756f631bf7a62a6","datavalue":{"value":"10.1016/0898-1221(94)00213-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$DE312E3A-A660-47B5-8DEF-B8810C8C077E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$A472C5C0-AB1C-418D-B1BA-DDC08A66E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$DE3EEBFA-E239-436E-A4C1-E1D1E4D7AD5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2bc1742a0cee560f6787e361c4fa83ea283bfc8","datavalue":{"value":{"time":"+1995-05-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":"Q1343391$B6EC4EE6-27FA-4F97-9766-23DF7A089EC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$4E248DC9-438C-4289-AA86-76D02C0E8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$8AC163B6-34F2-4A26-B638-5341A28E6F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41797f091d2c1efd3accd53dd04e594e696bb107","datavalue":{"value":"06-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$DA1C4742-E1C2-4B76-818A-686CC24F46D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a567d457300e9c106717bbc447f394ed3639f505","datavalue":{"value":"718808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$E7AEAF75-5294-48B2-9AF6-72C67402B1C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521c1f8633e2f056a4c8bc4853fab144312b424d","datavalue":{"value":"Pixley polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343391$40AEFD96-BCC1-4AB6-84AD-EC7329DA9BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43cca7e8db51e510ddabcd42bdff8dfdef3d690","datavalue":{"value":"single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343391$05455EDB-3A49-41F9-9F82-F40C9E0CE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1acddaf8d75e55984fcce2206757cf2574054bb","datavalue":{"value":"ternary Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343391$DB3A0A44-56F9-4074-9E3D-6B20F3D147B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13aaed0b2ab2849abe96ccb533c6cc6a7924367f","datavalue":{"value":"automated reasoning program OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343391$433D3431-6788-4028-9B0F-4C8BFC8879D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$136535EC-7687-4769-98A0-F02EA23C58CE","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":"Q1343391$3CDDCDF1-B34C-4EF8-8ABC-ED16FA80D353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7692acd8d36697858c8fe94fced2053d44fbfe94","datavalue":{"value":"https://doi.org/10.1016/0898-1221(94)00213-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343391$F4D94496-AF8C-449E-9FE7-FA1304438A2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da124cbce05da2207689c058c0ee3a54f1101c22","datavalue":{"value":"W2082915738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343391$9782BDAE-A942-4532-B01A-11024FE04FA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0142958285cc20fe0b556ebd1399ee8b183521e","datavalue":{"value":{"entity-type":"item","numeric-id":5787933,"id":"Q5787933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$CAB84357-2789-40F8-954C-74C55D63EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$83148AFD-F2E6-4611-A977-6CE6006ECC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827d3975353fa78816ac805c8b3b1b4101cab0fb","datavalue":{"value":{"entity-type":"item","numeric-id":4401995,"id":"Q4401995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$648C3AE1-0A44-4B3A-AC57-745203058ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$15B5ECB8-7E43-4FDF-907A-0F8F01843EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$6D133930-DF0A-4ECA-AC33-6F08FF93D5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119405d291bf94d9c792f1ce78bc1ca3e509ad74","datavalue":{"value":{"entity-type":"item","numeric-id":3926653,"id":"Q3926653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$BA58F4A4-8846-4787-A4AD-45EAB64165E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$EC0FE21D-719C-4971-86BD-327039F16ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$F2A3C6D7-11FC-4AA0-ADBA-DBDE0C878757","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343391$D48DB948-4DC3-4454-AE96-8CF1B9F65E01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1092fbb683f0917d72e01ce0ab5a28fbfe7810b9","datavalue":{"value":{"entity-type":"item","numeric-id":2171519,"id":"Q2171519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494ec0fbc83c119e9c5f66afccc53bffdf4e73d3","datavalue":{"value":{"amount":"+0.8069771528244019","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":"Q1343391$CD039FEB-E754-4929-B470-A1B1D2AFE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cca928a17c288950e7c56f9eed4c2e99fcdde5","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5691171f9fba5bcdf81b07a6597e05485c282fce","datavalue":{"value":{"amount":"+0.805767297744751","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":"Q1343391$7941AC74-AD00-489D-AB21-9BC1016774AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c44fbdebc2ed1857f0b95606d24ec1a15d046d","datavalue":{"value":{"entity-type":"item","numeric-id":2941457,"id":"Q2941457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aacea7b3583dc7a08106ec013d8bc94eec841e","datavalue":{"value":{"amount":"+0.8019126057624817","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":"Q1343391$ADA6CAFC-9798-4B1E-A884-FC67F3F712BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b284bfdb1b0355e9c5d1322763cdd7d5c44d97","datavalue":{"value":{"entity-type":"item","numeric-id":2725955,"id":"Q2725955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1218bb0a2fca716b581048795160ad44573b5c","datavalue":{"value":{"amount":"+0.792064368724823","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":"Q1343391$AB06902F-76FE-47FD-B529-E5B2B065240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07f8994276c6a1140238a5f9a928dc2db86d65","datavalue":{"value":{"entity-type":"item","numeric-id":4582649,"id":"Q4582649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e01d45966061d52f1e28308be6db889cd9475","datavalue":{"value":{"amount":"+0.7920641303062439","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":"Q1343391$7016880D-1F9E-4039-BEBB-4F5902675803","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Single identities for ternary Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Single_identities_for_ternary_Boolean_algebras"}}}}}