{"entities":{"Q2956723":{"pageid":2967442,"ns":120,"title":"Item:Q2956723","lastrevid":44789076,"modified":"2025-11-26T13:59:22Z","type":"item","id":"Q2956723","labels":{"en":{"language":"en","value":"Prime factorizations of abstract domains using first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676206"}},"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":"Q2956723$D232C6B4-E2E6-458A-A2ED-F4DF8A52AB43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58b77b83a38fc7e5cf61b74b7c2a87f730c5a6b4","datavalue":{"value":{"text":"Prime factorizations of abstract domains using first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956723$97679DF6-DC18-419E-A7DF-5D6FEFD30C71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cbcec8985b80a1a7bdd926b3b3c40c2af3d03a9","datavalue":{"value":"1355.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$04A84371-DDD0-4F4F-B7CC-064F8968135C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed6b64ecb47da44076d116b6d80416569999f1ce","datavalue":{"value":"10.1007/3-540-61735-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$B964F1E4-CD20-4A07-B1B8-ABEF716FECE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd39bdd97435cb252ccc6adb31389f5cafb87c72","datavalue":{"value":{"entity-type":"item","numeric-id":468676,"id":"Q468676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956723$58ECE5DF-5E31-4694-B4FD-50E2D97391B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956723$918CF0C5-2024-4E7E-B5B4-2355FBA601C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956723$E198C0B3-EEAD-4681-8BC3-967965B3360D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75824606c87e6cb0163d32e1651617bec344276b","datavalue":{"value":"https://ir.cwi.nl/pub/2625","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956723$B9385965-5383-42EB-9E64-F9AB24E09A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$658F2075-E2DD-4A91-8E48-C14CAECD3B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$843F0BD8-BCB1-4A0E-9FD6-EDB4D0A7D0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$F967394D-4F5A-413F-9729-A6AFAD1EF8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$A6D74A15-239A-4738-8C39-64EF86DF7638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f66553cb08db9bead86a103f59d6fd41e047c68","datavalue":{"value":"6676206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$3B0B2953-F10C-400A-A0E1-F81DE096FC5D","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":"Q2956723$98E3718D-87DD-4F1C-A413-220AC640AAEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b0f9a942eb008b975c4e23b2b33f9f09f4e325","datavalue":{"value":"W1583233241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956723$DD1565E7-BA18-4266-96B3-5D4383552836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745032acbd513e300568e2a8ceb08bc5827adaa8","datavalue":{"value":{"entity-type":"item","numeric-id":6117143,"id":"Q6117143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afcb1046569faa61a6bb97385968471f962cd04","datavalue":{"value":{"amount":"+0.8526288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$212833CB-5691-464F-9212-A5F2BA5D79A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf4a098c4740b58a63a324276145b1e9ddbc66","datavalue":{"value":{"entity-type":"item","numeric-id":4028090,"id":"Q4028090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907590850eb43fa375889e36e0e76c22143f1732","datavalue":{"value":{"amount":"+0.8525568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$6244F52E-899E-4655-842E-9A032BC700F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4a9c1884bc13e7d668847c901668321a457e59","datavalue":{"value":{"entity-type":"item","numeric-id":910401,"id":"Q910401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be5ac5e716fb9924af511bb7288495747d8281c","datavalue":{"value":{"amount":"+0.85197556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$7FE72B4B-2484-4FF2-A8B9-1925E70C2CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c45d3e56dac70c43588f145d9a18e1e229c4f10","datavalue":{"value":{"entity-type":"item","numeric-id":1960541,"id":"Q1960541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a29ec1b027e4e82b431d0626fdb49b07904aa60","datavalue":{"value":{"amount":"+0.84992594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$F0C9BD5F-80FD-4CD7-99AD-073FC110B91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f2dc6d9b9c75389d4992c2a3d50d2e68ae8720","datavalue":{"value":{"entity-type":"item","numeric-id":3323925,"id":"Q3323925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03dd4bdc2f87b328e1e41cd0ce7be98d24aefa6","datavalue":{"value":{"amount":"+0.84585947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$70FB970E-5E1E-44DB-85A4-1DCF25CD3672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452650e98871a820827df3764bde7d35b4d80ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3082706,"id":"Q3082706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bf9c35a0b93a68d44a1dc6d07a391963dd3af0","datavalue":{"value":{"amount":"+0.84313035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$3465DC62-35BB-4B56-8880-074702AD4C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768fdf462ae343f47e8504ac6fc90d698df7c4a1","datavalue":{"value":{"entity-type":"item","numeric-id":4636390,"id":"Q4636390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf3a392a0e95308efa710049f6557364b314e8b","datavalue":{"value":{"amount":"+0.8422645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$80604961-6E64-42FC-971D-C2F2AB83BC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfb92a7300083d170cbbcc016377c8ad6f36acc","datavalue":{"value":{"entity-type":"item","numeric-id":3717020,"id":"Q3717020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8f4fb20b27dbe53dd5354804b0e8e44587444a","datavalue":{"value":{"amount":"+0.84098417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$77424E26-54ED-4A8B-A92D-CB60118B0254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad08662488851458da7ed881b247827a8cde3a46","datavalue":{"value":{"entity-type":"item","numeric-id":3476803,"id":"Q3476803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b962dd5760c5729ee25b7fe590c719a4ffb81a82","datavalue":{"value":{"amount":"+0.84062886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$C0F37C14-8A85-43B5-9C01-64AB18A78A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8837c6bee08466eb7dce46f00b94b72004e28b4","datavalue":{"value":{"entity-type":"item","numeric-id":3973195,"id":"Q3973195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664972d142d927f373fe4be63ff9cbb3317740c0","datavalue":{"value":{"amount":"+0.8403578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956723$78997997-60A4-4FB2-A959-B18DA0510EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956723"}}}}}