{"entities":{"Q3470449":{"pageid":5271060,"ns":120,"title":"Item:Q3470449","lastrevid":49358263,"modified":"2026-01-07T00:50:27Z","type":"item","id":"Q3470449","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137742"}},"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":"Q3470449$9A9AC782-CD81-4B2C-B698-D3FD38F50C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"408b6bf893e366932aca0172dba115fd86f6c842","datavalue":{"value":"0695.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$F24C21F6-E4A8-4ED5-9B00-F4BEEE93D6C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbfbe3d5b77c5b0ed3742aede18c5b1f9f072c0","datavalue":{"value":{"entity-type":"item","numeric-id":543693,"id":"Q543693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470449$763E656B-6911-4977-81AB-1B0824C1E06F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3470449$A530E3D1-E2FE-491D-A5F9-4233DD849424","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$21F0B8D9-1D6B-481A-A498-A66F1BB52377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$D333062F-B8D7-436B-8E82-BE96904DEC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$D4B70B9B-4BA5-42C2-A025-EA824AC41CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$88E64908-A8EF-459C-9D89-7833D5153A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175317ba51720c33db315a833da2c00ff64f2fd4","datavalue":{"value":"4137742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470449$D3A22A57-0F4D-4057-80FC-E41B91973128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$A243A297-7B97-4294-92D0-C3C9B229D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc89d199ef2a75a197e31dbcea71e55b0ffdf5c","datavalue":{"value":"closed residue","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$77E79B30-CA68-48B7-865D-7511341488C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a8123e7a0b796874785ed57aca2abe77b15efd","datavalue":{"value":"consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$CA4D9734-5318-4AF1-87AD-AAA04A70E7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68751e2e49ad004176597943669bdecaf268a1dd","datavalue":{"value":"substitution theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$A76615B2-4A98-4F25-8BDE-2DBB3B8037E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$64A4A20D-8483-4112-8975-A401A3403868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db9f1eb5e3230d52d7e791358686f327ae8bc2f3","datavalue":{"value":"clause-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$B31F8E4E-CE24-4DD6-B09C-E9D9E86DA480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c8b517a7dc11b33b067caae912dc59455d4683","datavalue":{"value":"subsumption rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470449$B23643EB-518C-4163-AACF-5571575A45AB","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":"Q3470449$1F39F105-BF2B-4CFD-A76E-29E70B34A84D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be100efb7aaceae6e65088fc837540fee23ff42","datavalue":{"value":{"entity-type":"item","numeric-id":845921,"id":"Q845921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274fe0f7c1885469d0f2e9c13c193281e1bb5a7e","datavalue":{"value":{"amount":"+0.7759866118431091","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":"Q3470449$F8E7E640-80DB-4BDB-9383-ACC71D0E9E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440a08075ee5a5fd3f8d7fc111646d004407be3f","datavalue":{"value":{"entity-type":"item","numeric-id":3695190,"id":"Q3695190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2588584105ab962559bbe5a5499a116104292670","datavalue":{"value":{"amount":"+0.7127593159675598","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":"Q3470449$B437C221-EAD7-4E53-9C05-69FFC1F8B48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67aa516e0a04f668e1482aa0de852d1e59b6bc00","datavalue":{"value":{"entity-type":"item","numeric-id":3758257,"id":"Q3758257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a08262e34ab718294832b211a9ce47d3cb5a13","datavalue":{"value":{"amount":"+0.704167902469635","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":"Q3470449$AE2AB9AC-54E0-4690-AD9C-5AD45EDF01D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5b8ee4385c2b7c8e57d536b946ea27da8a1255","datavalue":{"value":{"entity-type":"item","numeric-id":4037920,"id":"Q4037920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c83df0ee8bde41b2aff64ef38599ef07073452","datavalue":{"value":{"amount":"+0.703799307346344","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":"Q3470449$F0D3B3B6-FE80-4F88-984F-1644B6AAE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12c440f60eb98394b5fb6f7dca214f6e5e34ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1801736,"id":"Q1801736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092f8f49d35152a872769c442bd1602a6d6e008b","datavalue":{"value":{"amount":"+0.7011634111404419","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":"Q3470449$9B15C063-FC99-461F-BEB2-AAB1079CDFE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3470449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3470449"}}}}}