{"entities":{"Q4177566":{"pageid":6207167,"ns":120,"title":"Item:Q4177566","lastrevid":31884742,"modified":"2024-03-19T20:03:06Z","type":"item","id":"Q4177566","labels":{"en":{"language":"en","value":"The axiomatization problem for fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3613035"}},"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":"Q4177566$6CAABC62-EBA7-4B1D-8F15-40003CDC15AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bad3237be593405837b6d3d179c20fd0a203e05","datavalue":{"value":{"text":"The axiomatization problem for fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4177566$B478D1B6-724B-4426-891B-7EA56EC10A53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b004bc3a6f7a8d7038fac0b797b4cf5255eb8609","datavalue":{"value":"0395.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177566$8A0B8063-2F2A-43BC-AD5C-9B1A1900675A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61ff6254c1f0174bf72db35863794ba1df871e9d","datavalue":{"value":"10.1016/0003-4843(78)90016-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177566$CB8BB28D-331A-4400-90C4-778D95B39126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177566$225CBF26-AFC3-4E84-9F33-20422038A4E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4177566$468D49E8-218E-4B36-B992-97502D87E4AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177566$DCE6904F-CD9E-4E8F-9A29-149CD1884E93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f29ebd261d4627fff3551bfc63aa88dd4dd82916","datavalue":{"value":"3613035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177566$7B5C32C2-A799-45DE-A613-99ADBB695CF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748eebc7f027992af6301d537d93e2df14a36c42","datavalue":{"value":"Fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177566$DED456AA-08E1-4566-BFB2-44FDFE16CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e95dba852e2db3694c07d9c2fbbdbaea8542b954","datavalue":{"value":"Intuitionistic Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177566$BC895658-1ED9-4111-BFC5-1A59BB7CE95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6d42a1fb1bd68d66aed5ff0bee0bb0abed3959","datavalue":{"value":"Axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177566$05E67831-E7E6-45FC-97A2-DC635E3E11CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961afa200a56de12b315168dbbeced235ad83fb4","datavalue":{"value":"Kripke Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177566$4B55ACA4-426F-408D-8468-EC101047F29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1dc49e1675879d1f83fb3a5a018045e60870a0","datavalue":{"value":"Saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177566$2AAE0D0F-C55E-421A-8A1E-EA12912B20DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d66ce0d865d18f3a56597ab9de985aaa93f52","datavalue":{"value":{"entity-type":"item","numeric-id":1259544,"id":"Q1259544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177566$E108C690-2AC7-4A75-988D-D943CC0DBE72","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":"Q4177566$AE11FE33-515B-41C7-AE62-38C4B525032B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94c76bb3f7105150c9ed1796deead798e669ea87","datavalue":{"value":"https://doi.org/10.1016/0003-4843(78)90016-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4177566$EE604869-CF58-45BA-9C90-3224ACB20867","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1836f60ba30949c09117351836d72f567bc75ee0","datavalue":{"value":"W1984396054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177566$FB107B4B-D706-4350-ABFA-4F258D4BF7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4177566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4177566"}}}}}