{"entities":{"Q1924755":{"pageid":1935497,"ns":120,"title":"Item:Q1924755","lastrevid":82048934,"modified":"2026-05-06T19:58:52Z","type":"item","id":"Q1924755","labels":{"en":{"language":"en","value":"Syntactical models and fixed points for the basic logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937256"}},"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":"Q1924755$581D523F-4C5D-4C3F-B396-3741FF325436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15335b6769634bb3b6e57018e89e2bcb4168d50a","datavalue":{"value":{"text":"Syntactical models and fixed points for the basic logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924755$C2E9434B-55A5-49E8-A9DB-5AB9518E1103","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9100357f2ca9fa0bd9b20f654bdc435d6c5b4630","datavalue":{"value":"0856.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$F83B6636-3C1A-4371-9151-E3FEB8965552","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ab3c3a3665acbe33313f3ada28e2833b6eaec16","datavalue":{"value":"10.1007/BF01530789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$01C97FC0-DA7D-4E8B-B02F-E281357771C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ae05fcfa97fd4071b4bfb504447c7968c340256","datavalue":{"value":{"entity-type":"item","numeric-id":1924754,"id":"Q1924754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$86885901-8B2B-4E9E-BC56-A82CFD185792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$A8766647-4E92-4C00-A82A-0C586CFA2DC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-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":"Q1924755$0F97922F-327E-4317-BCDF-558747DDC0D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$BAD4426C-7FEA-4B14-AA95-845CF160005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$C581EA67-6B7B-42D3-9895-9C3A52C2E525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b6e37be8f025cb1417acfc580b01c60bd092dd0","datavalue":{"value":"937256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$82A1E157-4CDC-46E0-8E6F-50FAF5A00426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e487e31a632ad3b2522b970bc58bd2ac8228e76","datavalue":{"value":"labelled modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$08F03700-ADEE-4B8A-9FDE-B5CB36A15FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c431163ae3cbb1c6a40271d9d6800934a4bd7f8f","datavalue":{"value":"Basic Logic of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$3F715BFC-8FEA-43E3-A569-1F06FF81F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1219c2972199576053d1e465a9cfdc33c99576","datavalue":{"value":"Provability Logic GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$DF88CF7C-405A-4503-9532-FB316361F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1977db6eb2ec1ffb7baa1b6035a4415e2bc2ba24","datavalue":{"value":"syntactical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$B2D312E2-D1A3-4CB3-88A1-FF4A9EDA82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$772B4D42-533F-42EC-931E-DB7501460958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924755$4D522E9C-D4B4-4966-A89B-84DE634D18B8","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":"Q1924755$DA0412BF-46A3-4739-8EA9-CCC626854AA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c9a82b9ab82a960255476489c4b9e9354b122e","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$4CE02BD0-B1D2-45B7-A5E3-F9ADF4E922C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88dea189de8eb875b071b5b89d647f4e3bb065b","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$F614B101-E9E2-4F19-89D4-2DCE31CF8D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$AA88FD68-70F4-4EC5-B0CB-75E8B071F242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$102CAAF2-E3D3-462B-9A1B-7E7E2CD2E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$A0D789D5-B67B-47D6-B847-AAB20A850543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eac2f2912e26ab0d8a3ba3f1a31315a31f52702","datavalue":{"value":{"entity-type":"item","numeric-id":1924755,"id":"Q1924755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924755$C7A3CDB6-3CB0-4DEA-A7EA-94BAACBBCC9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef0d971ab17bcb6d40f1beabd1faa93f397b8132","datavalue":{"value":"https://doi.org/10.1007/bf01530789","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924755$0971CCAF-C2A5-4D84-A865-6FCC71DA242E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd1ecfb85607b7cf0c23bec3234147bd03808c2c","datavalue":{"value":"W118377376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924755$6861E4FE-C650-4A94-B94D-004AB9BA3055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfee6616156f2aa46003557e37db7602b17b6e5e","datavalue":{"value":{"amount":"+0.8057467937469482","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":"Q1924755$54A47DCB-A103-4BFA-9461-DB3F05E8F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c3ce0036cec035e2e5ad563e37f8d5a90ca09e","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a99410a8754b2197e0f8d846386855aacdd987","datavalue":{"value":{"amount":"+0.7876385450363159","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":"Q1924755$1022ABE5-8E02-4EEE-AD20-C3E1DAC3C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b67b12cd1d856dd5ae4b4877372e09d2c81a10e","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5cb0714cd5fb850624d718bfbcc96b1b80832d","datavalue":{"value":{"amount":"+0.7867301106452942","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":"Q1924755$D443DE71-B930-4047-87C1-F39C6C64BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07df2b1f6110a584710411b3ff8f5d475f1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c27b649a4b0b7491244ad82aa40d68fbf020e7b","datavalue":{"value":{"amount":"+0.782197892665863","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":"Q1924755$0231AB74-4B6A-40E0-95B6-418FFDA3C76E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactical models and fixed points for the basic logic of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactical_models_and_fixed_points_for_the_basic_logic_of_proofs"}}}}}