{"entities":{"Q429594":{"pageid":431361,"ns":120,"title":"Item:Q429594","lastrevid":61773456,"modified":"2026-04-11T01:33:44Z","type":"item","id":"Q429594","labels":{"en":{"language":"en","value":"Projection and scope-determined circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048194"}},"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":"Q429594$EAACA8D1-78D1-4260-8366-D36F66FA0391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c62d2a4afa6353ce5c8b250d594f75d1c9451544","datavalue":{"value":{"text":"Projection and scope-determined circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429594$0D78E522-90EC-42CB-B7F8-30D9545077FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca028683200c3dad2296d9ca08d9a2176b16bf61","datavalue":{"value":"1259.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$501C84CF-7299-400B-A1BA-4572DF1C145E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$589E6AD7-780F-42CB-A53F-22087FF1255B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$658F711A-DA75-4DD8-AF01-B19D0E9DDCB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q429594$D8B017E0-CE7A-435C-920F-0E0A1D753FE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$7E89E1E0-076A-4DDE-955F-3152585F0B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$7542DFA4-D657-4E91-AE7D-C338EA7FB01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$5BD81B0D-589A-4521-9E72-D1E04E4D36DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$7512CA5E-1B04-46F5-9BCD-EE9FCB7E6629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$FAFC6291-1D8B-48A5-B85F-2075EE915362","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b28ee1ebbe22ca5160fae553b83db27fd3abc08","datavalue":{"value":"6048194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$5B908F31-01A5-4F79-93DF-D986E6E2F556","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$0F21AFE1-3239-496D-A300-51AE5ADFB0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13610f26b20136cdc136cf0db05fb7289e31a5e","datavalue":{"value":"second-order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$CCB2F45E-471C-458D-A457-20D1B301CA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$1110DC82-AE7B-4678-9113-06994B4570E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099f2e269c326aef9a902e47a7dbc8c7f308397b","datavalue":{"value":"strongest necessary and weakest sufficient condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$308EA28E-FEE8-4897-962A-BD27EC093F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509272cfd9a4f5889af4213b56f4990f0adb081f","datavalue":{"value":"literal projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$54033B90-9CE3-478F-8462-82FCBC618550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918d6b9ba7e5876c469c31d5fe5126f639a95704","datavalue":{"value":"raising","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$4CB968D8-3481-4A1F-9236-BA1FAD659BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q429594$89C15286-A4D0-4861-962C-251D72CEEAFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"392045d1554de8e41227f7118e5fe96e5ead2a5d","datavalue":{"value":{"entity-type":"item","numeric-id":21879,"id":"Q21879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$622ECBFB-8211-42C4-A544-F7C7044EA911","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":"Q429594$6F4A9242-9E30-4E01-8B27-9361918FF65A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9ef14cc9ee5d0baa9308ef3dd3017dfbf978d30","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.12.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q429594$C32551A4-94AC-43EB-B854-356F1D45840F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af77eeee72821546d63f60bce456c70ca162ed11","datavalue":{"value":"W2074567616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$4D98AD4C-5046-4C26-BE7C-1E539A45810E","rank":"normal"}],"P223":[{"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":"Q429594$12EA4AF9-1F1D-4B43-850C-A97C50E25D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$11F59CE0-20C2-4E96-B701-C32A0AA2F3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$0220D2C9-7C65-4A93-8FD7-368E5EB90BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$7E9A2E22-7900-43EB-9CE9-0744D9E696B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047b17067c912d1734fcb42ec5f8a770f216eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4411161,"id":"Q4411161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$4F357682-00A0-436B-B718-26C9444FEED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$84392B7C-DD3B-475A-868A-6EB8517CE84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b9b64cdeae407e379838936ec1ac3faf412194","datavalue":{"value":{"entity-type":"item","numeric-id":5941135,"id":"Q5941135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$0728EE08-5A5B-4B1E-9FA7-9060949937C1","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":"Q429594$CD7609CD-E3E3-4134-A6DC-FF83D2ED3E9F","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":"Q429594$EC434E7A-4B9C-47BF-986A-1F2CD803885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a5fa4a41e4d9da5fd6d0cae51b3a39e1fa8341","datavalue":{"value":{"entity-type":"item","numeric-id":5394152,"id":"Q5394152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$020C88CC-D8E3-45CC-80FB-23857F0B3DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920d7ec13a7e01bdda8aa13864c11d873dde0bc2","datavalue":{"value":{"entity-type":"item","numeric-id":3532481,"id":"Q3532481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$5CA42A82-4DCC-41CF-AAAA-E2FE3B3075F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9806291c76220146d68a61b42b6696934ec55c74","datavalue":{"value":{"entity-type":"item","numeric-id":3648738,"id":"Q3648738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$40A706EF-7E1B-40E7-8125-7C94BC550B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59da74f97ed4f96cf58184842744ec7d4770983","datavalue":{"value":{"entity-type":"item","numeric-id":2883093,"id":"Q2883093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429594$0A3B80BF-454D-465B-B122-FC955224DB0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6f00ec8d68ae3f95c97ca7f6a99f0d367567a0","datavalue":{"value":"10.1016/J.JSC.2011.12.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429594$B4C427A7-D04B-46AD-B10E-D52B446F7A6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918dfd19617acc00f63573c989d20375fa390e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2883093,"id":"Q2883093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074e721b519ca41349b9226bf4d78e8c713be23a","datavalue":{"value":{"amount":"+0.8229222297668457","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":"Q429594$2BD68ADB-1F48-4CF1-A5F3-18898B71249C","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":"78044b7ed718cd77769ae99d6571f6c25530ebcf","datavalue":{"value":{"amount":"+0.7777342200279236","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":"Q429594$4455821F-26E4-4E51-A523-771A729965C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5688162ccc343adf745631fc609ccb68c2ebce","datavalue":{"value":{"entity-type":"item","numeric-id":3358719,"id":"Q3358719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78044b7ed718cd77769ae99d6571f6c25530ebcf","datavalue":{"value":{"amount":"+0.7777342200279236","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":"Q429594$264FC5E4-79EC-4789-B5E9-641418A2886A","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":"0174ddd299b38ca6e50443361d3e12a31acb72bf","datavalue":{"value":{"amount":"+0.7696521878242493","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":"Q429594$62B69E83-1BD9-4F5E-8610-95FF28E179DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2386cb4992907915d98e5e1a4642383fe4e3c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":3768427,"id":"Q3768427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a16a795a7e058b30ea234ad13f343478e7c7f2f","datavalue":{"value":{"amount":"+0.7688921689987183","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":"Q429594$E3DBD88B-05FF-4DC1-A8B9-4FC6C5D7D4FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projection and scope-determined circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projection_and_scope-determined_circumscription"}}}}}