{"entities":{"Q2947458":{"pageid":2958178,"ns":120,"title":"Item:Q2947458","lastrevid":85392446,"modified":"2026-06-03T07:44:19Z","type":"item","id":"Q2947458","labels":{"en":{"language":"en","value":"An equation-based classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484967"}},"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":"Q2947458$02FA9A34-9204-4CAE-8D61-07FB0B7E86D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfbda434d3bf76f68d614690f028cc2463bc47ef","datavalue":{"value":{"text":"An Equation-Based Classical Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947458$6A5B8150-EA45-4E94-9722-04DE06F435BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a7df647e7950fa8b0832818fcb0ba68dbf1452","datavalue":{"value":"1465.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$B6B1A2EA-BE3F-4FD6-A815-72D3F2ADE22F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"239e57876a19b444bf48ec96aaccef4c9fab8b66","datavalue":{"value":"10.1007/978-3-662-47709-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$A039FE75-8708-47EC-9A50-E55857DEBFC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$D9BE7262-934F-41FA-A395-D3E1BB5B8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$CAFD8642-CC93-499A-A775-52E3F2913B12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$B7926E5E-CED6-4C06-B703-66102243D521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947458$9F31EB33-FB38-4BAE-8858-3D6600E38CFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$6727AD1A-30B7-458B-B040-F3A2E18899F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$158F46F0-3E93-4742-A80F-95592612357D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$41426021-0975-481F-9232-B3BCA484C289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$E747FE6C-4A56-4D96-95B9-C9C1BE5D3E16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76ccd60de592d94bc4f9bcceefab6f5878efb2da","datavalue":{"value":"6484967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$1AAA8932-3E16-401A-8877-0D4562FD2494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947458$60DCAC9F-6D48-41AB-8C0E-41FCE3DB7BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947458$A69C251F-1321-41C0-83FF-0D9B7A42FD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947458$F67BDE1D-C2F5-40C3-8C75-4577A445FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947458$364171EE-9B16-4415-99A7-AD9B9BAC6C95","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":"Q2947458$92AF3123-36AE-4F12-ACFF-6AF186D65965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a55e0eda09f0e0b8e37cbd45ed549e7286f1b28","datavalue":{"value":"https://doi.org/10.1007/978-3-662-47709-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947458$C45EA724-5837-4EAD-AD27-9D4D3A39F70C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a30d3ae16f40a72f07ab41755655239031ead74f","datavalue":{"value":"W1415925650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947458$D9A999C8-249D-41C4-B969-0424B4977F45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$3EC19FC8-3D0F-4E67-BBEF-47A66614889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$7DF3BFD3-43B0-4B09-B896-9C62581884A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$F4783A94-1208-4399-8901-5683990203BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$5910256E-54C9-4E81-92E1-16AF366A8FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635cc76bb032b05f486cbb05bce12e7227e678e5","datavalue":{"value":{"entity-type":"item","numeric-id":3527403,"id":"Q3527403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$17656898-F7AE-4412-A58D-63FAB910AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$80560FA8-9F25-482F-A77A-F982DE8F8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947458$7CACDA71-EC9D-4521-8CE9-1715AAFBF0D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92893dd539019aa9cd4cd911c75cd9f7bb48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":5377701,"id":"Q5377701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be10d8582e2ce3df20021b1690635d92a799e087","datavalue":{"value":{"amount":"+0.8134181499481201","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":"Q2947458$585EE5ED-074C-447B-879D-AC5447D8B9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bd02be310ba65af6c853a47e199840a2707ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3608818,"id":"Q3608818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e10f6456fdd047018ffddc83bfa7eea2615c7cd","datavalue":{"value":{"amount":"+0.739188015460968","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":"Q2947458$B2DACD41-8117-4289-9E81-D1D516706114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a871033835dcd5f314c63941da54a2d7881556c6","datavalue":{"value":{"entity-type":"item","numeric-id":1041815,"id":"Q1041815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354e10da9e7ba7e6b4415451c2e7a4838481dd48","datavalue":{"value":{"amount":"+0.7320131659507751","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":"Q2947458$06A54699-CDD9-4A10-8C49-69D9E28F7C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93db08f64d70904f18a6d3c252b4f2aec1ee47","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff6abfd88a00cc93689e8e83f724129b571be64","datavalue":{"value":{"amount":"+0.7268052101135254","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":"Q2947458$B8207C16-0EDF-4C72-B627-F41DAB39E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb97bfc5a220e11cc1abb671a5654cdcadc1ee1e","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7447fd1cc9ea5e45e9fdd60cc3aba73f9f9553c1","datavalue":{"value":{"amount":"+0.7197113037109375","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":"Q2947458$D26234DC-9808-4773-A967-D64DEDC5AB49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equation-based classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_equation-based_classical_logic"}}}}}