{"entities":{"Q3476786":{"pageid":5486741,"ns":120,"title":"Item:Q3476786","lastrevid":49375606,"modified":"2026-01-07T01:33:17Z","type":"item","id":"Q3476786","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145871"}},"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":"Q3476786$EB69A2CC-9468-4E40-AEEF-E86AE3AEB15C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce387914621cc3c367c995bd1ff9680474fb5126","datavalue":{"value":"0699.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476786$82BEBE64-40F7-4194-8CC5-3818742E672B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46b3164955d066c94e5ca80f9b77d5556af9404a","datavalue":{"value":{"entity-type":"item","numeric-id":2742955,"id":"Q2742955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3476786$542A4064-9788-45F9-87D9-D5B816E07721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3476786$43078CA1-6176-41EE-8705-745019A0AF5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476786$CDBE31FC-D81F-413D-BF47-940C1834C571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476786$F8363A20-FD31-42A6-9E2B-B76B3BCD1B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476786$864CA851-9DEE-40B1-BB4F-568EE91BBEBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceacd65250141969ee4154f25155642c3ab74f81","datavalue":{"value":"4145871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476786$C944286D-4284-420D-A1E1-A52F788ABDC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736940a273076167b8f47b02eed707566c46b6e5","datavalue":{"value":"heuristic decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476786$0AF90809-24BF-45E3-BF08-A27FC5AD59EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1277d095865eb7de44f69425b07a225b242e8004","datavalue":{"value":"propositional formulas in implicant form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476786$D13D4A4C-F827-41A5-A59F-CF287E331BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595a1e75b49a7c35cfd3caaaff3a4e298be5d31b","datavalue":{"value":"proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476786$8B25F170-E944-4C1C-9BEB-47A9E7243BE0","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":"Q3476786$50337BF5-4831-4643-8BC2-98151DD32711","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293fcca590a4425b3ecb213e468ac25b1196ce5f","datavalue":{"value":{"amount":"+0.7736309170722961","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":"Q3476786$0352AB7F-5E1D-41C2-A12F-CB1FE1FDF027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52edf7774a67c2abb0abe2989f27a790a92770","datavalue":{"value":{"entity-type":"item","numeric-id":5234710,"id":"Q5234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abb79713ccf0f3651267420f8f8d00a79507f9a","datavalue":{"value":{"amount":"+0.7546305060386658","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":"Q3476786$7CA631B2-2AB6-4608-9AD9-4245326ECA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41731ee19d9890f0c9d1ff939419833e8c40c55f","datavalue":{"value":{"entity-type":"item","numeric-id":5053010,"id":"Q5053010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdc36a33492e7c17d0b92d62743fa8ddcc6323c","datavalue":{"value":{"amount":"+0.753873884677887","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":"Q3476786$C3770D2E-1160-4614-82DB-462FE5552DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e048a538621a26aae1dffbbfee6482cac1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cabfd0832e02b01f16de5703104626c111a349a","datavalue":{"value":{"amount":"+0.7518264651298523","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":"Q3476786$42BEFEA8-ED27-4C18-A501-5D1BBB118D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891ef7f4a4bc9e50aa96061839375519f236b4c7","datavalue":{"value":{"amount":"+0.7500010132789612","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":"Q3476786$166FA615-1BC4-43DD-938E-9755853B17FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3476786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3476786"}}}}}