{"entities":{"Q1264437":{"pageid":1275187,"ns":120,"title":"Item:Q1264437","lastrevid":67154718,"modified":"2026-04-12T15:39:43Z","type":"item","id":"Q1264437","labels":{"en":{"language":"en","value":"Negation elimination in empty or permutative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204270"}},"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":"Q1264437$4BE64052-6EF7-443D-8A6D-BC9E0CD5242F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9f3b4927a48412bd4e2c222d5033c797e7fe148","datavalue":{"value":{"text":"Negation elimination in empty or permutative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264437$42B535FA-6A82-4C50-B85A-E24A5A51AB95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1879a12e0013afaf4ed9015955bcd4779142a3ec","datavalue":{"value":"0904.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$2E0A102F-D9FA-4695-B303-9EBEE7C8531D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264437$192BE9E0-8A2A-4AD0-A0AD-FA7D5A0F2DF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264437$81A9848B-7D90-46DB-B447-F9B308157398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5451c4336beee9334761b879ad3d3c365319b6ed","datavalue":{"value":{"time":"+1999-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264437$9FDB249A-8B69-4581-8BF3-BBB81F1EC711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$54733F4F-486D-4DE3-9BEF-C94D9F5F3021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$1C975DF8-29C1-49BD-9374-1AC751FB9C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc24897e82200ef885a7101e73698db748167cd4","datavalue":{"value":"1204270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$070FA4AB-4318-41B9-B8BF-65E8A63ED8A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de04a7e157fd29ecec356c20b368f5584bf0c83","datavalue":{"value":"equational formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264437$1081A3ED-36DA-4918-BB19-187D3E2CA43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264437$34944FCC-BB7D-4AD5-9B11-D8828FBC86D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760fdfc64ba73d13b855cb278b9d1268f10b8c5","datavalue":{"value":"transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264437$B08D1ACA-AFCA-4CFF-BBA6-2AC354D8D49D","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":"Q1264437$88C40D42-2F0C-419B-87DE-F3DDC0DA7A30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a99077e557cd231e4aa88a2bfcbd9623687d5e91","datavalue":{"value":"https://doi.org/10.1006/jsco.1998.0203","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264437$CFB6D593-B64D-4904-A8E5-1469855E61F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b85df14b3608cc201ddb9076843ff514786369b5","datavalue":{"value":"W2072195664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$C4752B61-1444-4D68-A952-D5A774DC0ADB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16cb7a7ba1a07e1b476e10d733906f7d58aa5c0","datavalue":{"value":"10.1006/JSCO.1998.0203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264437$B39709EE-7307-4F88-9735-7B88F1199D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf911b71949eafae6decabb2885c74f7347b3577","datavalue":{"value":{"entity-type":"item","numeric-id":5096830,"id":"Q5096830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7384af8571a302e0f9951fa9ad820cf3a704be48","datavalue":{"value":{"amount":"+0.9235730171203612","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":"Q1264437$DE549B81-F58D-40BD-A166-0E18E768E6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25819a8976be6a440667be1a3221b35a5d7ea1f3","datavalue":{"value":{"entity-type":"item","numeric-id":2754181,"id":"Q2754181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b12bd16a62bda4fb6ef95db5ec1818c259cac06","datavalue":{"value":{"amount":"+0.8319507241249084","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":"Q1264437$D05EFA0B-5D61-4753-BD54-74EB2437010D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f70798d1b9360428248ba38c0558b60b70322f8","datavalue":{"value":{"entity-type":"item","numeric-id":5055804,"id":"Q5055804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6cd625e5798e5a6b8259b23ae0e547caf64499","datavalue":{"value":{"amount":"+0.8070790767669678","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":"Q1264437$BF03943C-7F7D-4FF2-861B-088D1101D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42011ab62695471a9d2250f0fa3696f9c73b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414b195e35a964d96bec83441ad184a08bdd4912","datavalue":{"value":{"amount":"+0.8057438731193542","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":"Q1264437$AAD4A970-5265-4876-998A-2E5E7CE2F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87931669e1651228992cdbf1bcc05dfc01c8ee4e","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1836c65798044774af459a24c5dc28762c550b","datavalue":{"value":{"amount":"+0.8013319373130798","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":"Q1264437$FED09C57-699E-476D-B404-7C4FDE70B535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation elimination in empty or permutative theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negation_elimination_in_empty_or_permutative_theories"}}}}}