{"entities":{"Q5096830":{"pageid":7126406,"ns":120,"title":"Item:Q5096830","lastrevid":54383549,"modified":"2026-01-26T17:56:07Z","type":"item","id":"Q5096830","labels":{"en":{"language":"en","value":"Negation elimination in equational formulae (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573135"}},"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":"Q5096830$7A44DBF8-5199-4541-B669-01F9BE895C54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fdb20055accead3047bfdd10a0e37f5084be38b","datavalue":{"value":{"text":"Negation elimination in equational formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096830$55FCB3F8-3CA6-4EAE-9EE6-37B1738AA5A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43bd64142ee1cf6c17040154fc3c22dd1280fa5b","datavalue":{"value":"1496.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096830$74E91251-732D-4CBD-8D2F-55D6768680E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0676ae3b66bc934e87046d19ceb525035d513bfa","datavalue":{"value":"10.1007/3-540-55808-X_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096830$0A2882CA-F3CF-484B-A0FE-019563A02F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$30C1CDB7-E74A-47E8-BF61-E322927FF934","rank":"normal"},{"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":"Q5096830$C2B60C3F-EB8B-44FD-B454-FADC5AA93700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40a5bafdd643d48fd797b3c75bbfa480747517fb","datavalue":{"value":{"entity-type":"item","numeric-id":5096814,"id":"Q5096814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$4CCF3311-0844-4D91-8891-8D2C1F2FCCBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096830$8F66B219-CDF0-4706-941E-38DF86AE23EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096830$19DEAFB1-07C5-4E4F-A64B-1AC3693C77EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096830$DBF51FDC-B1F9-4AB7-9DB8-0F654076DA12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44cc07f2726f2c132acae819f001bbe72fa7e6d2","datavalue":{"value":"7573135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096830$35336874-E998-4102-8EA5-FA4F1FCF0D23","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":"Q5096830$6D358C09-2060-4A4B-940B-B252E7ACFCB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aae537d2ba2f913f4058731c9a788ac51920f70","datavalue":{"value":{"entity-type":"item","numeric-id":4036586,"id":"Q4036586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$660CB112-1D6B-433B-9036-3A69181E4CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$02BB78FD-E3E8-4593-9A7D-682FFFAD6C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$E4B83B56-0226-4EBE-8B87-2F06FB0FA87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$25EF6877-FF66-4546-887B-EBE7F6D0C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096830$C812FFB8-5F1B-4EF0-ABDB-FFD2B18BDC93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f21e0b2e0d0335a5337d53404b6b37807136a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1264437,"id":"Q1264437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f346e5915286ea3a1fccc275ab6949102787b3a7","datavalue":{"value":{"amount":"+0.9276753664016724","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":"Q5096830$92253FCF-BAE8-43BD-9D82-BFCF5A9912B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681d0b71c1d176babce5cb2612de8221f951a068","datavalue":{"value":{"entity-type":"item","numeric-id":4310836,"id":"Q4310836"},"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":"Q5096830$DF0706AC-6300-4930-80CB-55F417A8AD2A","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":"9f98060f22fbeba5b72c16cc273a8218b1bef92a","datavalue":{"value":{"amount":"+0.8548377156257629","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":"Q5096830$E9A66275-649E-4E9A-9F6E-94A27D241A7D","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":"125689bd04de0f9b692aa1f6c5f40e7c80ffbead","datavalue":{"value":{"amount":"+0.8269228339195251","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":"Q5096830$93D4EBE3-9BCE-49CE-A748-3DE2AD261DAF","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":"e49f59b3a5d5c73905faab410557c8d13c3daa76","datavalue":{"value":{"amount":"+0.8241475224494934","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":"Q5096830$3452FFE4-69BE-4C48-AFFC-31AAD51327CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096830"}}}}}