{"entities":{"Q3616428":{"pageid":5646334,"ns":120,"title":"Item:Q3616428","lastrevid":50614259,"modified":"2026-01-14T14:04:26Z","type":"item","id":"Q3616428","labels":{"en":{"language":"en","value":"A Survey of Propositional Realizability Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532693"}},"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":"Q3616428$75963E2A-5CE0-4699-8A70-CDB0CB87D80B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28af24ead79603fc8653b16b27e0d9ad104c0eef","datavalue":{"value":{"text":"A Survey of Propositional Realizability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616428$4B0F5869-5CF1-4FA9-BD9A-AD6B86DB3323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d594b152c8764e626f340f05ea2dcb7bbb18c4","datavalue":{"value":"1170.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$3E310352-2A44-45A8-BC45-630D5E24875B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074fca8e7eb97ff9031d44469e4dd227e8d0736a","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$DC228B8D-68EE-41A0-AAA7-639B7FD63A6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$71EC3793-48CE-48D1-A21C-C1B3FB88A5E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3616428$D2A0F52C-2679-45E9-9F38-DEF7BA9653D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$124BB744-13DC-4262-9EBB-141DA1A50F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$128DA2D0-AA93-468D-A0EF-65D4DFF60321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6258b1968967c64df1060f67b3348c572af689c7","datavalue":{"value":"5532693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$4FA1CCDF-07BD-4E2B-AAE3-6796969DD8F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$CD7EEB89-99BD-468D-A3D1-423DD8A20232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$E14A784D-C649-4351-BA36-F0B0E96B89CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$BFB30C5E-CD8B-4878-A894-9A71EE028FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$1BAF0A35-929B-477A-B37F-6767A18068B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$5D560BF5-EA2B-49DF-9711-DE4553BD1C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb1201819afdcbae4b07b7df090e86908fc1e15","datavalue":{"value":"open problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616428$49028C1F-D4C4-403C-A5BE-E2CB711875C0","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":"Q3616428$9FC2DAA0-0B2B-4FBE-AF31-EF0F0BA94D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e8774747fcabe662e0728c7cb2c3ea38e607d6","datavalue":{"value":"https://doi.org/10.2178/bsl/1231081768","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616428$8292CBAE-CAD3-4869-B75C-1F1E31C0AA72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d81ef4bcaedfe706b62f9fc6b6b4b980b499cf97","datavalue":{"value":"W2010884894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$613A98A7-7FD4-4498-8F8A-208AE9096090","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$215A6D51-0F99-4EAE-A0D6-6D506DE31DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$D9F01F5A-1A16-43F7-AD17-D6F4788B367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$B2CFB730-00F6-4DD6-B499-3161331AF965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$2D4B5354-2289-488A-94F6-65B3BFA79CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$C97D7555-2FE6-4A61-BB21-24E62885F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$ED9C0FB4-B391-4E67-B792-7E0908355E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c1b8781fe333767f649823ee4255cded49c920","datavalue":{"value":{"entity-type":"item","numeric-id":866492,"id":"Q866492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616428$59C80218-86D8-4361-A41D-5378D84A4D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d146042fdd2ee96b159b6f7cd14ec5346301b46a","datavalue":{"value":"10.2178/BSL/1231081768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616428$0C018B16-EB7B-44E0-82F4-E6884CC18CA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efedfda5a85a187dbb36e467aaef82128fa7eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3094145,"id":"Q3094145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d1d3ff5a7e2b708d9c5db9f688724a56f4275f","datavalue":{"value":{"amount":"+0.814149796962738","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":"Q3616428$CD6B4C63-3390-4EB2-A1F2-84AB9953A29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5556aa6e17f6e9990ea53d6f6d5c49dff91d5d18","datavalue":{"value":{"amount":"+0.7898691892623901","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":"Q3616428$D27F2E39-2E7B-4275-8FA1-DEB74832F74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d490f2246ce508e62aab008c54f252b77d4588","datavalue":{"value":{"amount":"+0.7740212678909302","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":"Q3616428$B7CF045F-EECB-4EB0-BF02-0DDFA0139F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24340a13350805d2ba360d38aee34bcc853e626","datavalue":{"value":{"entity-type":"item","numeric-id":4411816,"id":"Q4411816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1ce362e38c30c3064d16db4261dac019140873","datavalue":{"value":{"amount":"+0.7607277035713196","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":"Q3616428$4C5A63C4-E631-45AA-AA52-E31D3909A9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4472ad35aa4f4e4d05625bc16c51fcd81f89e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3980271,"id":"Q3980271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6d22ac6fed58b40b16cff6510a641e411b18d7","datavalue":{"value":{"amount":"+0.7602579593658447","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":"Q3616428$B9DA2BD1-D585-4CC1-9710-F69E578DC88C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3616428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3616428"}}}}}