{"entities":{"Q2676573":{"pageid":2687316,"ns":120,"title":"Item:Q2676573","lastrevid":79085762,"modified":"2026-05-06T13:06:51Z","type":"item","id":"Q2676573","labels":{"en":{"language":"en","value":"An extension of pointwise circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7593499"}},"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":"Q2676573$C909C11D-AA86-401D-8B8B-07A76EDFF312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d15ce4c55dd5b510d463f000035b5da1634e8a01","datavalue":{"value":{"text":"An extension of pointwise circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2676573$7B04C91D-D27F-4FD2-94F1-D5213C88511E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf63c554c01917a0345df7f4ac3265cb68baddc","datavalue":{"value":"1506.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676573$812958EC-E42B-42F7-B707-716503B63B55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"558eda84fd6d3fc782f9814a3f1b5590187ea87a","datavalue":{"value":"10.1016/S0004-3702(96)00028-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676573$3FB4ADA8-0E9A-4754-B3DE-9E0A55795ACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c0443f0edbf8f4ec931e74251dadf50845060","datavalue":{"value":{"entity-type":"item","numeric-id":439022,"id":"Q439022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$D49C1B7A-F5A2-49F4-AB77-799A5638935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8beed9222753e855337a9ca0fd9e96ec42540fda","datavalue":{"value":{"entity-type":"item","numeric-id":2676572,"id":"Q2676572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$B43F7DD2-33B8-4EAD-A4EA-3138FBB32B08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$93535C94-E595-4531-8B1A-30D13BC2A7CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a032c601d5c74b5f731b850d38a9e9acf01c39b","datavalue":{"value":{"time":"+2022-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2676573$50804D3A-F15F-4167-AE38-2F136BE05F0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676573$6652D770-2161-4383-B412-181B2C78FC6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc494213829a7269d22cd1a26857c614f39a616","datavalue":{"value":"7593499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676573$44FA4CA2-6064-4693-9138-B8A560C8D9A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$2ADEC8A7-5649-4A01-A9D2-EE8D550AF9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969c4297db6bc91d1f0aa1e496685e3842aa616e","datavalue":{"value":"pointwise circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$88FEF66B-B8C0-42BA-BD47-21CEA0D2A482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$BA72B5A8-4D35-4F7F-915A-821A9ABEA200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0489999798d33cc87f70f4ed9ff54abcc57e1fb3","datavalue":{"value":"equivalent transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$74ED82A5-C40C-44E6-B3A4-99BDCFF69A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a69dd395f8232eaf505d5eb605b10e479bf3e44","datavalue":{"value":"existential formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$7ED3D8EB-BCE8-4F35-9195-90C870C612FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676573$7003759F-A7D9-4946-9D79-B09D6610B364","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":"Q2676573$AE5F93A1-2B7C-4EC9-B55D-640F86D59BD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee21c9107ee4afe5ff335e3999b55e4f41a5a6ef","datavalue":{"value":{"entity-type":"item","numeric-id":4692931,"id":"Q4692931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$08CA0D8E-193F-4EE2-A470-7F440D17D501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98fd4033e7cbe0d9315a53e2de2e8e0b6522ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1193478,"id":"Q1193478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$5F4E2261-BE1F-4464-A47C-EF3366951A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf9194a9ba6cee011a2dd98df700a7e54b66569","datavalue":{"value":{"entity-type":"item","numeric-id":4692605,"id":"Q4692605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$19C9F1B8-D86E-46ED-A37A-893BC0DDC7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$5E4F0C92-740F-4622-ADB6-6E22D0964B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a560d36d73ece2a0e5454e9551afdd4850d359b","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$47E66759-95B8-4322-A2A9-16B53159E56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d842a97f96e448321f2e255a87d97838ddb5679","datavalue":{"value":{"entity-type":"item","numeric-id":5210781,"id":"Q5210781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$B2B09302-9F3D-4754-A50F-B08D69A6B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d8371bfc322eaeb65aeac2ea787ea1d0d13c9","datavalue":{"value":{"entity-type":"item","numeric-id":685339,"id":"Q685339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$6AB5D4F5-C720-43C7-8BCF-67FF54C19BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da6ee2be15f73ef668a4a8e7b3e5fc2d871df2b","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$4E81B0EC-DB25-41B7-A2CD-C66DE80D41F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7061ded0f616d34cf4897b9a8127afc728c7ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1073786,"id":"Q1073786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$65824275-2865-463C-8182-1D5500C43DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$3094EFA1-AC83-4C05-9A4A-EED6151DD5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$619AFAAC-6F97-41EE-99BE-390156EBCF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$F4BEBFE1-D23E-4634-AAC5-8CECC0ABC437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4e9e4b9071e25b26b15f821177fee51163944c","datavalue":{"value":{"entity-type":"item","numeric-id":4012238,"id":"Q4012238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$1ACCB2DD-FCD6-4232-8500-42EDB03C53C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ceb6f2ee6c4a15c84c23ef053c3e6da49e2f02","datavalue":{"value":{"entity-type":"item","numeric-id":1073787,"id":"Q1073787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$F3545ADD-A4D3-4592-99D0-0AF289EDB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$D745FFB1-B1F2-4A89-ADB0-BE739D678B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ef92b14d4ce0850dabc5604f499bf5c5e82285","datavalue":{"value":{"entity-type":"item","numeric-id":1115424,"id":"Q1115424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676573$E0A7C40A-4082-4774-98E1-97C8A21D7F1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973cbc9e42ec91838cc8091badb1697ce4ac0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5371242461a167ee8dbcc43fa6b25fafacf26b6f","datavalue":{"value":{"amount":"+0.8063234090805054","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":"Q2676573$B2C89B8C-7DB6-4DD0-B172-24F05A258B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eeedd38d105cac096d655dcbdc09f69fd73b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":685339,"id":"Q685339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c967ed17f0aac8502075507584e033ed5c8a3172","datavalue":{"value":{"amount":"+0.7945073843002319","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":"Q2676573$F18443C1-0DEF-41BE-8AA3-CB909E51CC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c967ed17f0aac8502075507584e033ed5c8a3172","datavalue":{"value":{"amount":"+0.7945073843002319","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":"Q2676573$34C71F49-43B5-41CB-B70A-70941389CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e7f499263ce451c875feffae640731951547e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193477,"id":"Q1193477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f874d2a0cc06d76034f3d060735d5956156295e2","datavalue":{"value":{"amount":"+0.7895710468292236","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":"Q2676573$92BD0CB7-DF4C-4678-A81F-16A0DFFC9A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592a72ac2b165ba1ce86973f8be9425b6b99e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1274695,"id":"Q1274695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75863e01310b0d0ac678c4cea2d1430d1b4cff48","datavalue":{"value":{"amount":"+0.7876428365707397","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":"Q2676573$0B2D3D65-5C9A-4265-9DA8-DD1D4743CF2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of pointwise circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_pointwise_circumscription"}}}}}