{"entities":{"Q1576387":{"pageid":1587127,"ns":120,"title":"Item:Q1576387","lastrevid":47031291,"modified":"2025-12-26T02:14:51Z","type":"item","id":"Q1576387","labels":{"en":{"language":"en","value":"Proto-semantics for positive free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491207"}},"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":"Q1576387$F607B658-62F4-483E-A40B-A7626C061BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"365e26335ccd91c1b391f75e0f8ae9b9e22f2146","datavalue":{"value":{"text":"Proto-semantics for positive free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576387$E61ED08F-79E8-46D7-A89B-E923C282BEE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa74bdecfa90242cf981fe5e9559f718df21c87a","datavalue":{"value":"0953.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$6EB8EDBC-30F2-4EE2-82A2-6F61321D8A18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2a354f4adcc6515fcd6fa1e1d8717f99d3b39ff","datavalue":{"value":"10.1023/A:1004748615483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$E1424EAF-4FDE-4A19-BD74-A166D6559D24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$C8CF8691-F09B-49D8-848E-183BDBFC1544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-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":"Q1576387$8AD425F2-CA85-4BED-AFDA-DC47CAFF90B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$2FF435DE-9B10-4973-B270-11E4452E32CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$1C9B9FF9-BD98-4FD7-A928-FA3E3C4A681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$7A2B690F-D85C-4EFC-BE9F-4BD27A4CE997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c48a3bea99ca171ae6a6087dafe06bacf8bbef6","datavalue":{"value":"1491207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$667BFE36-C6A7-4809-9941-E1F07B865CE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d1a7341496252706cb24146cd0a090cb00f858","datavalue":{"value":"denotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$24FB94AC-F9CB-4C81-A1C2-82C20ED7B172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$C518E6D9-BB9D-4760-9F64-AE44CBF79745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68c20c12b7c29547b94840d59c83ed7b64577f5","datavalue":{"value":"bivalent extensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$028BBAEA-92DC-4621-AB66-ACA8AB900CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639bd768fc42e55c288735e257a64f8aa9ba1288","datavalue":{"value":"positive free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$6407AF1C-9D76-4D05-BB80-2218C66D4D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$518AC8B0-3330-42C1-B51B-FD4860BF3BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$FD87B1F2-D785-4F17-8FBB-9632417970EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$559A5562-CB19-438F-90EF-73D54939FCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576387$BC4464E0-43FC-4FA1-95B8-4AA3386D9505","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$757D81C3-4AFE-47ED-833B-9BC084167720","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":"Q1576387$55BC6BE6-E0E9-456D-B5C7-B9543F66CC4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$BAAF4ED9-18DC-4244-BB7B-06B9E0CC1F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$EBC0A4AA-D7E7-4D17-B1A7-529A23030A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5df7db95555fa1468e78d46d51f6b860611a5f","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$9071362D-1F19-414B-9C4F-3994C86DB4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d0c215c3c3bd5b6acb003d468f71ccf7b829a2","datavalue":{"value":{"entity-type":"item","numeric-id":4345940,"id":"Q4345940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$60279A6D-D54E-44FD-82AC-54262D4663FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$F2EDBD27-012A-4B3C-939B-5698CEB5F735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c859f19347da3db342044651c8e924cc3ad89601","datavalue":{"value":{"entity-type":"item","numeric-id":4117804,"id":"Q4117804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$B47F862C-ADE2-40CD-AED8-C43AC21E98D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4da0150ec788f9116c5a0cbc83c6b76b7e62cba","datavalue":{"value":{"entity-type":"item","numeric-id":5545946,"id":"Q5545946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$ECA88C26-7534-4106-9886-79DD9F27FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d738c1c1a56c18becf2e655792392cbc3dba0021","datavalue":{"value":{"entity-type":"item","numeric-id":5661323,"id":"Q5661323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$AE187457-10AB-4B91-AE82-FAF95DF6820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74281b4fc2275e559f91f3c4723880845ce829","datavalue":{"value":{"entity-type":"item","numeric-id":2522269,"id":"Q2522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$C84B91F2-3E0E-451E-800B-08E4B28F19C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18a897dd7b555417c377787d217317753686a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2541889,"id":"Q2541889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$92B4B2A6-7F5A-4B7A-8F61-D42CFBC5D955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac398e4da919675c242c4f8bca1f7a61d65adb3","datavalue":{"value":{"entity-type":"item","numeric-id":1325777,"id":"Q1325777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$83EFCBB5-0D76-4804-8797-A81F10953957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74b631df8ffe1ddaf51d33a17b68732573ba4b7","datavalue":{"value":{"entity-type":"item","numeric-id":5565078,"id":"Q5565078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$78FF173F-5C0E-4718-B81E-B589B9E3BDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e359bb752d53c0ba2e432553c8cf1f920bd30a39","datavalue":{"value":{"entity-type":"item","numeric-id":3731571,"id":"Q3731571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576387$0C9F0C85-9904-471F-B466-753BA697CFC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"672257e455f1f102f29d28d881170a799eed65e4","datavalue":{"value":"https://doi.org/10.1023/a:1004748615483","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576387$9C4BCABF-B85E-48E5-8C33-F138E2C11295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f327b3451cc8f3cb27e00803dfa0c5dae8e9f138","datavalue":{"value":"W2137540712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576387$09937E86-5E85-4557-A6E2-AA5B18F65354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f984a756906cfb1dce1489979f95c15ae7718deb","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30042dfcd01c3aa257e1ddea9c0ca2de0843d446","datavalue":{"value":{"amount":"+0.7911021709442139","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":"Q1576387$13FC6106-85E2-4665-A88C-0ECF6A82E6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b60ef79d16c08cfdb47215ebf651c1049e58e7","datavalue":{"value":{"entity-type":"item","numeric-id":2499294,"id":"Q2499294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3baec9b703f534d9eaefedbe916e0ceb1792d4a6","datavalue":{"value":{"amount":"+0.788250207901001","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":"Q1576387$50083EA8-DA5C-4DCF-8B9A-549749BEE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e66c8a9698c53ba10f9ae5caf944ef9618bef9","datavalue":{"value":{"entity-type":"item","numeric-id":4861490,"id":"Q4861490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bf949d7ae3fe4ab5c09cd0cbef51e07ac90654","datavalue":{"value":{"amount":"+0.7699198722839355","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":"Q1576387$8EA05009-220A-4CE5-B490-F96568CD0AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498fcb5a5316986a56dab2c0981c08877f989420","datavalue":{"value":{"entity-type":"item","numeric-id":2541889,"id":"Q2541889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84da312ebcb41ee6fe1697481c4a8f05a357c513","datavalue":{"value":{"amount":"+0.7648409008979797","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":"Q1576387$6D6AC279-D04A-4BB8-935E-698D71888634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1576387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1576387"}}}}}