{"entities":{"Q5055804":{"pageid":7085381,"ns":120,"title":"Item:Q5055804","lastrevid":47785933,"modified":"2026-01-02T16:50:03Z","type":"item","id":"Q5055804","labels":{"en":{"language":"en","value":"The negation elimination from syntactic equational formula is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631217"}},"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":"Q5055804$B52CFE93-8356-4BC5-B328-A55FE4DD62E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"776a7f7defc319bc181e51793f6070fcb14cc678","datavalue":{"value":{"text":"The negation elimination from syntactic equational formula is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055804$D4B75F39-B448-4581-8F42-56B0CA674D1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b27b2d4cb9d3612ec90c0b3e4b13a2b29c686d3","datavalue":{"value":"1503.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$996E1C93-40CC-4001-868A-1E450EEE76F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"534d27248dea1c3c7aa2afe88551dd3782dfd19e","datavalue":{"value":"10.1007/978-3-662-21551-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$1427FC4C-969B-4884-9881-8BEC30C13770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f88e466d597564fa285d0620f553ef48c264cd45","datavalue":{"value":{"entity-type":"item","numeric-id":387858,"id":"Q387858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$D7147AEB-44C1-407A-A309-A06EFBC58A4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$650E54E3-DAB9-4ABC-AE4A-5E05D70B2D10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055804$2DC2AD0A-2AAE-4CB0-A11D-9F65DB71687F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$FF25EBEB-3C59-448E-B95B-5A2B1DD8F5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$536E9B0B-0E05-4A0E-907D-A004048D1643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$CD0CE6FD-B6DB-42D4-87A1-D26B8B80F61F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd719f82f9737ac60b4382f6aa7838d07e703bc5","datavalue":{"value":"7631217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$23BC017F-6864-4B61-815D-B4B76FCA63B7","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":"Q5055804$D1E9B28B-275A-4FF5-A4FD-65F41FA45CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed53fddb1d6651054d06af55d98bcd2eb28335cd","datavalue":{"value":"https://doi.org/10.1007/978-3-662-21551-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055804$E6A60169-BAFE-4CE7-9885-EB63EEC4F696","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc999d7b5decc83012f1059d0d97384eb07f59b1","datavalue":{"value":"W44081821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055804$C216DDFC-E82E-4C12-BF09-D99EFAC029AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$332FD125-0B66-42E6-81E2-B63A304D101C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$349C0564-24F5-4EFF-9BBE-F5EA943D6F6C","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":"Q5055804$CB5FE28F-C98D-4273-9A0B-BFB114BE39D6","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":"Q5055804$E69F34D8-F0E1-4D67-8C86-DC8CDBA0EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73c9c41e7bd80ba174992484270f6d083e8c606","datavalue":{"value":{"entity-type":"item","numeric-id":3207206,"id":"Q3207206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$BB33429B-409F-4102-B724-DA6AB2B5E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$20FF1400-EDB9-4F45-BD2B-375C0EE5F35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$034DD153-9556-4F68-A7AA-DED05413C85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$96318809-AA17-4456-AA4F-5BC351A546EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ae1f2e32a08dc201d4a733b434facc2b371e1f","datavalue":{"value":{"entity-type":"item","numeric-id":582141,"id":"Q582141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055804$D3571BF3-0FE5-48B4-ACE6-6337581B7212","rank":"normal"}],"P1643":[{"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":"e7749d2b184d656e28d790b2c4b6c3b92ba412a6","datavalue":{"value":{"amount":"+0.8454940915107727","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":"Q5055804$E80DA6E8-55BB-46DF-8716-90444119D9FA","rank":"normal"},{"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":"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":"Q5055804$D844C29E-BD5B-4A67-B7EB-7D020CF73011","rank":"normal"},{"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":"4d7b1af138c5431ac5509558435edfd05fe62f19","datavalue":{"value":{"amount":"+0.8081264495849609","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":"Q5055804$DC0AE801-9735-4CDB-AC6E-D260C6E7C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e930cb4fb3b9045fef4a57a4e92812add83d1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055807,"id":"Q5055807"},"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":"Q5055804$DBB1976C-95DD-4A03-88E8-7F07A14DD832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3867723420492bf35947c496a997158398f6daf5","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c35e09c8dd4dc09803ac48d6e7dac3b766e2ab7","datavalue":{"value":{"amount":"+0.800757884979248","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":"Q5055804$0CF025F1-1ECB-4B70-8D75-EFA5A909D084","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055804"}}}}}