{"entities":{"Q3305339":{"pageid":3316047,"ns":120,"title":"Item:Q3305339","lastrevid":53786645,"modified":"2026-01-25T17:31:04Z","type":"item","id":"Q3305339","labels":{"en":{"language":"en","value":"Para-disagreement logics and their implementation through embedding in Coq and SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229039"}},"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":"Q3305339$ED6ED867-2B9E-46F9-BD7A-D9561454B202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf2c3439f90af8c1b6995379e82eaa64777b069","datavalue":{"value":{"text":"Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305339$FF54EE73-3C9C-47CB-8B79-1573B2D07BC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f192d88c81d0f7caed660405ed446004aa838690","datavalue":{"value":"1439.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$D5C09006-766A-4CC9-BFF5-3A50F2CF5B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1d6761032bd454684233a1fd022788b9fcbac86","datavalue":{"value":"10.1007/978-3-319-98797-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$7DA2FC96-CF6A-45A5-9F33-EBF8154109EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$F8D26215-0EFB-45B6-B181-6F3F11F39FA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$A8C99AD6-20AB-4DCE-934E-C2D1C48E2665","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2f48f5ce61ecb0b673378077bcc5a9950613dd6","datavalue":{"value":{"time":"+2020-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305339$54C7FFB3-5229-47C6-984D-E377B8E1C341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$387127F0-2FF7-4B2F-A72B-BC648714F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$33DC4DCF-03DF-4D5C-8435-F93C169FEE55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7bbd4fefb7ed17668320283f673b7b132b90841","datavalue":{"value":"7229039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$7E93A1F3-4270-4433-9854-64BE4D96CA53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd646522943de01b2f5f1a4d355c5a7a21fe42da","datavalue":{"value":{"entity-type":"item","numeric-id":28613,"id":"Q28613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$8D11E21F-7A33-4F93-87AD-5EDBC57204FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$C4C45F87-9786-419D-9510-A6F0696A3582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$BA283C39-B1B5-43AD-B515-E965139C259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d52ab783cc52fd6970d36c9c08ad0c3f790cfd17","datavalue":{"value":{"entity-type":"item","numeric-id":45352,"id":"Q45352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$C8A57FB3-A60E-4CF1-AC33-931D3C3C0601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$DD9FCE65-F2C4-4060-93BA-80C244BD8598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69911c7ca251b10329d9744858946aa67d8df505","datavalue":{"value":{"entity-type":"item","numeric-id":21197,"id":"Q21197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$3FE19C6B-337F-4B6C-AD9B-756AA3FCAB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$E8B04604-47BD-4CE1-B7C0-CAD7578C1443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70bb894bf31fb871c4f3631cd69249ff118a3edc","datavalue":{"value":{"entity-type":"item","numeric-id":43934,"id":"Q43934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$5999E953-A48C-4959-9511-8061A549EAB6","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":"Q3305339$DB2149EB-1C1A-4A7E-A30D-15585B8481FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40e0010b11a73c0f40bd0cfd08e40ee28b44cd1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98797-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305339$A3C06A73-5FD0-4D70-B27C-5B6F65EEF2E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f47b73085106e0307fb328b46e1d68433df23ff","datavalue":{"value":"W2896714085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305339$7BE794C3-3508-46EB-8286-AE65908804AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$CB7C3BAC-5C7C-4078-A109-5F4B32570991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70af6db6c556ab4454b8918fc4b4c3f29c448291","datavalue":{"value":{"entity-type":"item","numeric-id":2270429,"id":"Q2270429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$38E0A2B9-7B12-4681-8653-C534DF6311CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$9F152647-8CD0-43DA-8CC2-B7E9E30D6683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744c4f3210ddd4a01ced1e4086bfb4cbd97e966b","datavalue":{"value":{"entity-type":"item","numeric-id":903403,"id":"Q903403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$7C461B7D-C828-4CDB-A0C5-CA134D8F3D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2a2cacadd3c3bd12d3fb85ce93d5f9e91b3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$C9DC3C82-AFC1-495D-91B0-EB639C64257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$A3B8D150-7ED2-49EE-B636-1A5B19F66AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea71f83a07f0c6d2d51e13fef9f81f1546c6947","datavalue":{"value":{"entity-type":"item","numeric-id":3092739,"id":"Q3092739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$84DFB160-239A-4B71-9957-0E26E1E0EABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$E9D7CECC-F191-42CC-AB6D-84F0BD324550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$84F97BCB-92C7-4291-BED4-2CFE7098C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$F1A146FF-CAA8-4C2E-A4C0-D809E3085974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e9f1473a74308f1a9d10f6ae92269efe6fd32c","datavalue":{"value":{"entity-type":"item","numeric-id":947828,"id":"Q947828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$4747C711-2297-48C4-9DC2-389FA275B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09874f62ada20ad54ff655802b6cdd0604cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$DA3FD8A1-C723-474E-8C85-3C482268F573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69d9ac7a6cdc3f8e1d78d69cd9dba74edd9c151","datavalue":{"value":{"entity-type":"item","numeric-id":1344871,"id":"Q1344871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$B3F2ADBA-2D7F-4C13-B238-5D8236EA44FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5e4c8820eb3333a06a963b91456bb31fc1405c","datavalue":{"value":{"entity-type":"item","numeric-id":5219927,"id":"Q5219927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$2F81A522-4A37-464A-B21C-7D9E09FD7048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cfe7ad8e2effd47f8744e441269bc4e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":454141,"id":"Q454141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$E9672C33-402E-4E74-B44C-9DF64CB3EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c4f52f44cd5e9cd7b77244211ee3cf4cd538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2817945,"id":"Q2817945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$FF2F1DF2-09D8-4770-BEC0-320077FDB02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1c71221dc4373940eb9f66cd93920804b0a94c","datavalue":{"value":{"entity-type":"item","numeric-id":5133005,"id":"Q5133005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305339$C821EBCB-042A-4EFC-9D22-B0F896CD5884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c386f2b582e8ed9a79a68128e138080842f5735b","datavalue":{"value":{"entity-type":"item","numeric-id":4293724,"id":"Q4293724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c734e97278fda22a323502abbdc71c6d32aa7e0e","datavalue":{"value":{"amount":"+0.7161059379577637","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":"Q3305339$CAD6A932-6376-4FD0-9D45-DAF53784D914","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":"1609a31b25b6b2496a1d661aa439b392b51d92e5","datavalue":{"value":{"amount":"+0.7155681848526001","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":"Q3305339$73E5904E-908B-44F8-ABC6-D9081D5E7CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8bc4451a7c538ae409f461042d0e99bc013d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1840981,"id":"Q1840981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da89e2804c8036710580ae1d5c1c5a9eb667117","datavalue":{"value":{"amount":"+0.7145928144454956","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":"Q3305339$36D499CA-8406-4409-9A77-EDECF8DC37A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900c8b7ae578820b7bd4a0af15f6a8e29620d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":4522332,"id":"Q4522332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a310e3bc805671cb6dd7e1fa17afcbcf6172aa","datavalue":{"value":{"amount":"+0.7141702771186829","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":"Q3305339$6216B7B3-ACAD-420F-899A-8428EAD471B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8cd4c72ed3214d42341a13e16a07fc4fcb8905","datavalue":{"value":{"entity-type":"item","numeric-id":1299967,"id":"Q1299967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f2e7a09f53e27631bb81eea62f7f48c620740","datavalue":{"value":{"amount":"+0.7088906764984131","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":"Q3305339$35C5FDCA-C285-4EE7-A3B2-B170AFB8E534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305339"}}}}}