{"entities":{"Q3744151":{"pageid":5774057,"ns":120,"title":"Item:Q3744151","lastrevid":50973398,"modified":"2026-01-16T01:00:48Z","type":"item","id":"Q3744151","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3979045"}},"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":"Q3744151$8430180C-111F-4C0A-BEED-FF10C819F53C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e19a009806300c1cee8fed7aad42eebcb43770f4","datavalue":{"value":"0606.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744151$DBD6C876-62B5-41DA-9EC2-387A3001C3D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"574a49a4ab8ca0b13df6cd8ef16a735059c8814a","datavalue":{"value":{"entity-type":"item","numeric-id":1102266,"id":"Q1102266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3744151$EEFF3608-884C-46E1-9821-DDCFF38A008F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3744151$401AFB4A-5F05-464E-985B-B13D56F31293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744151$A8E98B81-6AE9-4FF4-81DC-ABC20AFE2DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744151$10AA48DB-7D83-4463-B8CB-596020E48FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cf81b05b48fb57db7cbb7bfd17ad61b3d9f93fe","datavalue":{"value":"3979045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3744151$D4BA4DAF-3B61-4C6B-825C-2A243559AC21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$6449DA6E-9844-4418-A572-513DFD579AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f85eac8654be77c35c77868e100de26d7e5f0bc","datavalue":{"value":"logical consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$B71D2125-9672-4DBF-8527-0DD52C2B215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c1b8968a0f8d1e40dd00fabc825290b87ba86e7","datavalue":{"value":"deduction methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$E4E73DAE-A3A2-4304-B574-151C3D341D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$ED1B23CB-D982-4094-81C5-7CFCDB89EFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$61071A36-8992-45FB-9E1F-14666958661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c1c4688968eaa3dda255c96095e9e021520a07","datavalue":{"value":"extension of PDL with propositional constants and infinite conjunctions and disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$C068621F-F729-4D74-AC69-C0770A0992F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e73ee940bed0bfc8a8c6250f18990859991ef54d","datavalue":{"value":"Hilbert style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$3A6E16B4-061C-4249-A3A2-973F0FAB1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92708b06ce05bcd00d645e71db971a65e10e7d39","datavalue":{"value":"countable Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$860BE875-4F6A-49EC-A1CB-1BFDC1A0BD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9597385fbfbe1407cf99015cc2a4b17df04ebeab","datavalue":{"value":"nonmonotonic deduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3744151$3CAF5EF6-89DB-4179-A7B0-DBA883B4C7FB","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":"Q3744151$804E9EF9-36C9-45BE-B84B-D01D704320E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f08b4e537eb1786d5f6c57d51f9944272ec627","datavalue":{"value":{"amount":"+0.7773842215538025","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":"Q3744151$42DA7CFC-9894-4D20-AC86-B5A0F1B70BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58ae93a2d012429d68bbecfe8d1367e8b44c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5014054,"id":"Q5014054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01ba4d05321f5ea682fecf0bd44fbf3e3af78b5","datavalue":{"value":{"amount":"+0.7495829463005066","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":"Q3744151$9B2E07A2-17BE-416A-8D8E-9778860176F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7959c14699da8f81cf52b7d7338af24a305987","datavalue":{"value":{"entity-type":"item","numeric-id":3647227,"id":"Q3647227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1442caf7a4023d0104f88ab6df8951d8c1ce6b59","datavalue":{"value":{"amount":"+0.7309348583221436","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":"Q3744151$4C895DFD-56F1-4DC2-8FF5-F020DB20864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432547349cd9fee72bd28888518b32c35fb0ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":5307064,"id":"Q5307064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6a4b6529fd6c4c033aaedd22a8f5fe6b64f441","datavalue":{"value":{"amount":"+0.7306218147277832","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":"Q3744151$28D43899-EEAD-462E-A77D-AF0F9DB2F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5219d323c669ded29fa058b914e075505abd2862","datavalue":{"value":{"amount":"+0.7302994728088379","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":"Q3744151$7A36096E-FEFB-475F-B991-BC76FE1382E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3744151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3744151"}}}}}