{"entities":{"Q6488523":{"pageid":14067292,"ns":120,"title":"Item:Q6488523","lastrevid":47845618,"modified":"2026-01-02T20:57:15Z","type":"item","id":"Q6488523","labels":{"en":{"language":"en","value":"Automatic theorem proving in paraconsistent logics: Theory and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680799"}},"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":"Q6488523$50C827E8-36CF-4EAD-9111-BB3C10D4B450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f6b8ed17ae2ac568ee2d036bb247b041e61091","datavalue":{"value":{"text":"Automatic theorem proving in paraconsistent logics: Theory and implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488523$0A356206-BC84-49EF-A2B4-535EB3257BC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50332fb1bd02be5781775e30621111296e6b192d","datavalue":{"value":"1509.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$2476C4C5-34EA-4E72-8D56-D472DDEB4C3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ecb5430ef57b1347ddab49a739dc4212daf3f13","datavalue":{"value":"10.1007/3-540-52885-7_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$C9D1A2EF-858E-46A8-A2A0-81E44ADFF86D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a7f92eb890cbc0c3d1b8ce6bd052206cd22429","datavalue":{"value":{"entity-type":"item","numeric-id":1234674,"id":"Q1234674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$2B53646D-3B28-4653-A27F-C0508A9D5422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$6B5A89B9-776E-4D8E-9E9F-3F0612EFCAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"778a21a6345aea99333595cc7f7dc990d5774340","datavalue":{"value":{"entity-type":"item","numeric-id":211659,"id":"Q211659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$406353B5-D47E-4054-9263-50ACF30DB8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$6300B4C6-9B99-4718-ADA5-DA06D2E9BFB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488523$302A192F-DFCB-4DD1-899A-4749EBF26AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$8C3C68B4-ED2B-4921-AA3B-78BDB9C2C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$F9ABF3B6-D4D0-427E-BE8C-C9AAA686A63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$5F449197-0FDC-43D5-BC2D-C10F03D72FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$9FD7F1A7-D93F-4452-81DD-9AD755E275C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c3d54f2e86ab9c81b67d6e7a69f9bdcda1fec2a","datavalue":{"value":"7680799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488523$E9880050-7589-42A3-97F5-919A5474E3E6","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":"Q6488523$D94D32C7-3DB4-4C44-AA8C-6F01DDF3D36F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$38CC1627-8ED0-4415-B6BB-52E0429920A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$A577F333-3029-46C1-9801-FD85A31A2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25d11c486252da51cb3e5760df69769f848be6f","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$155C2A93-9B22-4065-AFFB-43F791B15AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$ADF5495D-C895-4433-BFFE-397F46563351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$DAB66EF7-43E2-49E3-BBB2-444F8B9F8B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b88fbb3f4b7ba3a4d0fe6ffdc0dafb19e8873b","datavalue":{"value":{"entity-type":"item","numeric-id":3956917,"id":"Q3956917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$CC72A9EF-0679-4DCC-98BC-097D86C36828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df2ed3bccaf33db2911d0fbd26c5af6161bed60","datavalue":{"value":{"entity-type":"item","numeric-id":1123891,"id":"Q1123891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$41AF4435-B49D-484B-B81F-33F927608D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69a1b0696d3d19ee0dc3aad945f1b6fcdf0a0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3792274,"id":"Q3792274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$144D4D2B-BE7C-46EE-824B-844AE98A5CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3307090af521f626287c0ffe76d759d895536701","datavalue":{"value":{"entity-type":"item","numeric-id":3198883,"id":"Q3198883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$F6DB856F-4DDE-4D76-BB1C-EF431819C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$AB27F761-06B0-498A-9AA9-69632809BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$D9CBB2B0-4303-4981-8B42-1EA2E7316186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639ca075c3c5996188ecb0577ad81a4f9c56d3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5655006,"id":"Q5655006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$9CE66654-D4CF-4AA6-829B-B87CC1A5C59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$0BF18BD9-2726-4FF0-9B9B-1DC4768C3BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$53A88E4D-6B24-4F8E-8EB7-110EC35155E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488523$3E644D4B-1C2E-498D-B962-90B18BD49DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd38a941b1330cf785992d86f23b5dc4c376ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6a000568ec8298bd8ee252159cd4c65a4b72aa","datavalue":{"value":{"amount":"+0.8273698687553406","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":"Q6488523$65D9763C-175B-4FD9-984E-2A6F14D93777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a3ad71280b315184e6431fb3f33b71d20a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2719629,"id":"Q2719629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be72ce222a18975fb6434080184e5019865a367","datavalue":{"value":{"amount":"+0.8253975510597229","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":"Q6488523$5371E226-2248-400D-862F-83E5F5CE199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055b3b3e7cde54f5a266158e1b512605dc139444","datavalue":{"value":{"entity-type":"item","numeric-id":4236373,"id":"Q4236373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba315c60dea07a7494de6d256c6d0c110ba4eff","datavalue":{"value":{"amount":"+0.8168311715126038","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":"Q6488523$FDB81B31-664B-446E-A7ED-B1099219FFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1579a6b1e86a945b2f338192e04f1f3eda0b42","datavalue":{"value":{"entity-type":"item","numeric-id":3490992,"id":"Q3490992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1502cfd0245930f817f0981504b44221c198fa01","datavalue":{"value":{"amount":"+0.8120232820510864","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":"Q6488523$C4B8FC8B-9185-4EE8-986D-1669B7C94699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284162c997f14566efa58c9e7895f85720a039aa","datavalue":{"value":{"entity-type":"item","numeric-id":1185011,"id":"Q1185011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93063f43c0bdc67c6afb1e29ce14dc714fe92761","datavalue":{"value":{"amount":"+0.8106371164321899","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":"Q6488523$2FA64845-5748-48A9-8DE6-C5D822A27478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488523"}}}}}