{"entities":{"Q4632291":{"pageid":6661872,"ns":120,"title":"Item:Q4632291","lastrevid":53409080,"modified":"2026-01-24T22:14:56Z","type":"item","id":"Q4632291","labels":{"en":{"language":"en","value":"General domain circumscription and its first-order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048462"}},"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":"Q4632291$27566310-F4C1-42ED-A948-83BAB03DA3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c665b3532f459202827816e2ce2e1880fd8e9bd9","datavalue":{"value":{"text":"General domain circumscription and its first-order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632291$1F56DBA3-7871-4D10-88FD-1B5DA2F5A0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96e15a0aa2ca04e906f1ce7abbee07213b817f1","datavalue":{"value":"1419.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632291$5637AA2A-2ED3-469B-A8E8-27F1FF7AB48E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecaf1b2b5276c712a0caaeabadcc6922a198b41d","datavalue":{"value":"10.1007/3-540-61313-7_65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632291$45B02DD3-6C5E-49FF-983F-6AC685C1708A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032aafba140558c82c03c3da77f727bddea77b26","datavalue":{"value":{"entity-type":"item","numeric-id":329425,"id":"Q329425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$0017A461-F579-4522-9D7A-DB8572F5FCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dab67fb0de0ca5c2814cb4b6cf653cc30f076c7","datavalue":{"value":{"entity-type":"item","numeric-id":1367071,"id":"Q1367071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$C5E76A1A-E12D-41EB-AEC7-8CA96A7ED709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$76421C3E-665B-4933-8EF2-3FF65C9CAE13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$FB79C32A-EFF6-48FF-97AC-842478C615CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632291$FA39DE16-25C1-419A-977E-27605CB80389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632291$8792214D-D1DB-4D33-931C-FDC33E0FAB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69f31149e3a71e23005ed371e49144e191d127b4","datavalue":{"value":"7048462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632291$A30BDCF7-0EC5-4EDD-8268-FA843A5C8768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632291$8907509E-2BF0-4DF3-BBD2-48D184577723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632291$11785677-6E4B-4192-9B4F-64E2E474EE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632291$263E1233-466F-49F5-B0AC-3199693A35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632291$B01C4DD0-AAB4-46D2-9E3A-0A1652631F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6e879e75c263def884cd75dd4f0f1db53ca39a","datavalue":{"value":"predicate variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632291$F82B3CA3-0A83-49EA-92D9-BD41B785F8E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"147b2eecbfbe3809a104dce8cec395a6ce2c779c","datavalue":{"value":{"entity-type":"item","numeric-id":38055,"id":"Q38055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$166B0EF6-A022-4ADE-9A67-4DB343237F78","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":"Q4632291$8B9A78B0-D1CC-45A5-B10A-90B2232D88E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26f97d555c895c4d65d20ba44493f9f082629556","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_65","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632291$BD4F0B9B-6D63-401F-B68E-277A5AEE7129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bc34f15a381f4cc86b12365e39095909a3222ce","datavalue":{"value":"W1694340589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632291$78641ADD-E7E4-4BCD-BFEC-5A19FEEB1EDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$6231E46C-5056-468F-9358-8DA8A6BDE85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$6B4843E2-B80B-4701-97DA-E6A62D818697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$16FF3DB3-AE65-4D95-95CD-9A1B79411884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac38cacd3b1874149af924b0b4a0f530a60cc79","datavalue":{"value":{"entity-type":"item","numeric-id":3126169,"id":"Q3126169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$FBC2BDB6-E3EE-40ED-9D01-DD236FCA7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeee0e76c967e2339e8611292eca555967cc6ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4632291,"id":"Q4632291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$8D20A5F4-D1A3-48EB-B2F0-A56872D0DEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98445b58e8dd6d44d639f5fba8bf34dc3c478de","datavalue":{"value":{"entity-type":"item","numeric-id":1344878,"id":"Q1344878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$C37D9476-1AFD-461D-B5DF-1387C7E79F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce3446495ff4bc05ac1fcd507ad391bef55e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250040,"id":"Q4250040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$A4931BD4-0048-4178-BBC8-55AD1CF02028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33671e7dc56698c6d51327d237f210481ae2779","datavalue":{"value":{"entity-type":"item","numeric-id":1311412,"id":"Q1311412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$17963E99-FAFF-4954-87B9-35A4065E025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e98956eb0e9a29848be95bf5e3ba04cf2505e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632291$E877590B-D358-41E2-ABCF-846DBB044C25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca116c9805b68f1335c66028e751a306b18f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4264098,"id":"Q4264098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d85daa69220c0ca2fb651f0679bce9ff91742d","datavalue":{"value":{"amount":"+0.9917418360710144","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":"Q4632291$8A4B7956-8F2C-49A4-AAA9-535A180AB7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5854bf632f53399586dad9d81a8c503eb48c352b","datavalue":{"value":{"entity-type":"item","numeric-id":3126169,"id":"Q3126169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de62767f1cd411e70918c031f695fe9476af87d","datavalue":{"value":{"amount":"+0.8116279244422913","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":"Q4632291$C708B60E-31DE-4910-8BC7-17EE027E9C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc60c9cfefebede577837fd5737d70cadf65f6c9","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fe2da0aa706146b5fdbfd57320129d50eb3fc6","datavalue":{"value":{"amount":"+0.803227961063385","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":"Q4632291$130E07D8-A2D6-4D9F-8959-851B2C02C391","rank":"normal"},{"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":"17e5a2967752498df27c906dba4d932743cb82a4","datavalue":{"value":{"amount":"+0.7603780627250671","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":"Q4632291$5CBF9016-F41C-4EB9-905D-799AEBBFAF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b68b32e204531b31e589d64c579ea912385bb","datavalue":{"value":{"entity-type":"item","numeric-id":4012238,"id":"Q4012238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c447ba2fe8b62bed22cef17b8c05f477da2cf82c","datavalue":{"value":{"amount":"+0.747875452041626","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":"Q4632291$4C75EE7F-4A76-42B1-BF9A-3CD6A01DBDEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632291"}}}}}