{"entities":{"Q5055818":{"pageid":7085395,"ns":120,"title":"Item:Q5055818","lastrevid":47785963,"modified":"2026-01-02T16:50:04Z","type":"item","id":"Q5055818","labels":{"en":{"language":"en","value":"On narrowing, refutation proofs and constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631240"}},"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":"Q5055818$80140B02-43B6-4FE8-B0A1-3B4E1D1B0AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44020e6461878161988f5815f0d1c84eb9007892","datavalue":{"value":{"text":"On narrowing, refutation proofs and constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055818$F83302A2-26B0-4469-A9F9-34D4C396DA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8273dd4a9ff18997088be07c906a1f27722aa9e","datavalue":{"value":"1503.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055818$4ECEA8CE-7B61-4814-A03D-DF809E5C8677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eec21568028bcbb820036d87eccb40df68d484a6","datavalue":{"value":"10.1007/3-540-59200-8_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055818$6AAFBCE0-C581-40B4-BAD4-1EFD8462C84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$8529BABB-4A24-4759-9384-3D816AD6BB27","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":"Q5055818$7D89EF8F-5286-47FB-B4A3-1F9DACB2A606","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":"Q5055818$37696413-109D-4ABA-A512-177990A800B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055818$7E36E1BA-F69F-4FD9-A904-032C3D3AE275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07f905d5a250a25dd8e24c5c2a33fe15e849dd61","datavalue":{"value":"7631240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055818$52DFCF27-0F80-4F0B-A01C-5D5E63697E2F","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":"Q5055818$B5EC69BA-9D53-4F01-9766-BCFA4147FB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"910eb1b0c4eff80a3dc828bf647e227412d534c6","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055818$39525B8C-9CE7-4F99-9390-663206D58092","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c59fa6691a633210b7914c45d6b55aad751f2ea","datavalue":{"value":"W1576882193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055818$32F0FA03-551B-4767-BB62-19F05C1F04F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867cdc6d3f0743de280448ecffc7a317c12f81d","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$DCF62822-3270-41F6-BB0D-F14FF0A3DBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$E5D648D7-00CC-44B0-B180-5A4E3E163FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$1B40A226-F401-4A6A-AD61-DB62911A79E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35559e046de5e842d7df1351a5b2659bff99a5c4","datavalue":{"value":{"entity-type":"item","numeric-id":1105364,"id":"Q1105364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$79E4CA50-457F-4D7C-AB3D-EA05B3DC31F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387930fcea7a1f75998bb611fa1c4d0ff92f5e99","datavalue":{"value":{"entity-type":"item","numeric-id":5881212,"id":"Q5881212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$B41C6F4C-F24A-48AE-A925-0CF3E5DB1B8A","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":"Q5055818$5C715D19-CF1F-49E1-83FD-3AF8366DE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$F09F26EA-BEEA-463F-93BF-27AE708D1F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$D733FF3F-0A2F-4EF3-AFC0-8C80080E5E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c9c1aeb9cd97d0f637554f9533dd19252fdc52","datavalue":{"value":{"entity-type":"item","numeric-id":4264721,"id":"Q4264721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$D76B5484-2EAA-400F-82B9-42B049D3C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$C0238D4A-CBDB-4B5A-99EE-ADB2849EEAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$24F870A2-522B-4796-9C10-F978BBE2DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$BA934008-BDCC-4ADD-BB3B-3BE4CEB0E8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcec348f8213ea4319b1f4434fee19428b297bfa","datavalue":{"value":{"entity-type":"item","numeric-id":5055808,"id":"Q5055808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$EB3106F2-571C-4B32-AFD0-FA4D5ECBE29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055818$1D2B0D95-CC97-430C-A943-76C1923D432C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb9897bdac215180797570fbe2925e1ffabd29b","datavalue":{"value":{"entity-type":"item","numeric-id":4287469,"id":"Q4287469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a429344b7b448854cc43c5ecdc94952fa2de1fc7","datavalue":{"value":{"amount":"+0.8088167905807495","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":"Q5055818$DCC5FDAB-98CB-4A7B-844E-E0AFC96CEAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e48ae2b37dd412c0efbfe692d70a32f72c2b41","datavalue":{"value":{"entity-type":"item","numeric-id":4539606,"id":"Q4539606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a429344b7b448854cc43c5ecdc94952fa2de1fc7","datavalue":{"value":{"amount":"+0.8088167905807495","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":"Q5055818$642382F7-A42B-4C75-BC40-6071644200CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e4feb8e761aa3f0fb17331214d996e889e154d","datavalue":{"value":{"entity-type":"item","numeric-id":5210767,"id":"Q5210767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd41c225585aaa946027b5f6918fd779f28df87","datavalue":{"value":{"amount":"+0.8071449398994446","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":"Q5055818$2F15DBCD-8451-4440-88A2-F831F6ED11A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa5092fa0836aff29b2fc32c3202df39fa0fc65","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e6276f6b88062d6d3a9d346c0ef5c9bbf2fb0f","datavalue":{"value":{"amount":"+0.802455723285675","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":"Q5055818$1FE6B99B-3622-49F6-A35A-2ADFCFAAB09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcddbf0bebfcdfe6c4c48502c71a96a7fac0383a","datavalue":{"value":{"amount":"+0.801457941532135","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":"Q5055818$5254863B-6484-49B8-9401-9A41494F04E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055818"}}}}}