{"entities":{"Q4532188":{"pageid":6561780,"ns":120,"title":"Item:Q4532188","lastrevid":47922562,"modified":"2026-01-03T02:30:54Z","type":"item","id":"Q4532188","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749187"}},"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":"Q4532188$265F0535-5329-44E0-8620-F592A9C3BB2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32013dc65f3315478ae9a11f387559f8c1fc497f","datavalue":{"value":"0997.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532188$6D09E5AE-03E7-4CC7-A0C1-A3AC30F76DC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d4209135bf481b154ab5d0a5e11f6fc027d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":218490,"id":"Q218490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532188$2E85881D-A235-4BA2-9E24-614EEA3B0015","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fbcf3671e7e434b6806937c673340f2c084f23e","datavalue":{"value":{"time":"+2002-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532188$4548BAE5-DD9C-467A-9A3F-9D91A5762B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532188$80698A18-8F35-4183-97EC-884A5363B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532188$CA573F96-54FA-4B3F-812F-F0FB7E7C46FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532188$85820210-2C71-4848-9D5D-CE7CFE41F224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ac0eaeaa39642cbf774a242a77813ffc60abe54","datavalue":{"value":"1749187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532188$849D5A80-96CF-44A0-84E5-935BDB25C1C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$D716471D-5666-4483-9879-1640420618C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$543327B1-413E-493D-88AE-25D3A4CBB2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28c9a5fbaf9860437c25c75aff405b0d1414a29","datavalue":{"value":"standard semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$D57E38AC-73DE-4400-A5EB-8CCC2652711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$D0FE53C3-DC11-4375-A67C-CFC45DED3D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c713dadb169cc2c3ae07f9e11bf74145002aa785","datavalue":{"value":"L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$DFE06295-0E72-43CE-9776-5486A96B4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532188$24DF493D-4CF1-4743-9EDA-4474BBC52FC4","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":"Q4532188$0A8862C5-C9DF-4249-8D2F-F4ED4ACA20AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e33d9c573791e976c7b8bd22a46d50129ec0e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4834551,"id":"Q4834551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f236aa1e81bf22a54cd793ca53401b0db04d536","datavalue":{"value":{"amount":"+0.7486799359321594","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":"Q4532188$D31B2189-46DA-4499-9A7D-7AB609720649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3f23e38aa82c58759ac894ed50ff84e11dac6b","datavalue":{"value":{"entity-type":"item","numeric-id":4919678,"id":"Q4919678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffc40c62639cd4e625e3e36c96d69f4d9b22ed1","datavalue":{"value":{"amount":"+0.731143593788147","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":"Q4532188$AE1B4771-4557-430C-94AF-B912EA1BF9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be9898932e748c2fbe35f3818c0a5e7025aa540","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50c14f17d829cd4f75ca5caf6be6640eb55e1b6","datavalue":{"value":{"amount":"+0.7303364276885986","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":"Q4532188$64814C93-03E6-46D5-A4B3-F393369D8437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875f6e19d6f5bc87f42a7788d70ecb9b0a8d5c66","datavalue":{"value":{"entity-type":"item","numeric-id":5603862,"id":"Q5603862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af65e1a41ab91cb02b77393a6ebd579b60ba8556","datavalue":{"value":{"amount":"+0.725123941898346","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":"Q4532188$3B5482E5-E91B-49A2-BBA4-37EDA03323FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801fd298d5ec670b314ddd5816e4e6cd20f937f4","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d4fd1ef6e1a8af82d35631d09e59121ad3e832","datavalue":{"value":{"amount":"+0.7183654308319092","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":"Q4532188$09F5F625-9E86-4FD3-8F3D-436A69A8B3E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532188"}}}}}