{"entities":{"Q5856406":{"pageid":7885957,"ns":120,"title":"Item:Q5856406","lastrevid":53961314,"modified":"2026-01-26T00:10:37Z","type":"item","id":"Q5856406","labels":{"en":{"language":"en","value":"On the strong equivalences for \\(\\mathrm{LP^{MLN}}\\) programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327937"}},"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":"Q5856406$7DF467DC-0232-46FC-A915-E1A563C21EFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2374117875f70bf0407475cbc8c7960c75b07abe","datavalue":{"value":{"entity-type":"item","numeric-id":251246,"id":"Q251246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$C9C2CCBC-D81D-464F-B820-7AA0C5907ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b556c97dbe82527a8734eb4fd7eed3eb10deff6c","datavalue":{"value":{"entity-type":"item","numeric-id":463812,"id":"Q463812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$4602E32E-268B-47A1-917B-9942C7D843CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75618948b3aebfd2986e6e69de9fbf244e5c06cd","datavalue":{"value":{"entity-type":"item","numeric-id":240264,"id":"Q240264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$4A032C75-2F6F-4994-A66C-244AA36713F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78271dd64e5888fb43ab0ddbbeb4a2bb102c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":1942203,"id":"Q1942203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$1B91756A-8E88-4978-822D-FF69008C74E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8fba84eb94214fe49723816f0b730e9575dc50c","datavalue":{"value":{"time":"+2021-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5856406$D16DA609-ED3D-4B2C-B431-3986265FF657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6fe6920b5f1ac7492c912a8431f48e934bf3e5","datavalue":{"value":"https://arxiv.org/abs/1909.03764","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856406$45914219-AD8F-4674-88B0-57468550D47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c6c17a729fb2979a6637a7986afc860cdf29155","datavalue":{"value":"https://lmcs.episciences.org/7122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856406$C0E95535-DE58-4D2D-A535-B51787B30B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856406$AF858501-D0EC-418C-B101-7F10CC32D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856406$11A52AE6-49EA-4AB4-BADE-072F55BFD8E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22c934726035d06d990909593b9e08c9d1aa1fe9","datavalue":{"value":"7327937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856406$9560FC13-53D3-49F7-96E5-3B7AD1BD6C48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22e46b4385681e9ea7d933165c6f88b5eded38b","datavalue":{"value":"computing methodologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$970C66DF-7F8F-407E-B6AF-34F54D040AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$64890566-3123-4634-A131-3C9E425C3C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$A3B3459D-D1B0-4F27-B977-777D32E363DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60ae8c67caa3d34bb30c244876bee1170936f6b4","datavalue":{"value":"\\(\\mathrm{LP^{MLN}}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$E306A089-AFAC-46E4-B69A-E38AC8159E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$F5086BA2-2065-4E07-AF1A-1B7A3587B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856406$40FB6197-82A5-42A7-89F6-A76566CEDF49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae7c3da40ff2124bf1a8a2a7001ef7dc16ad267a","datavalue":{"value":{"entity-type":"item","numeric-id":19009,"id":"Q19009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$F86BD4FF-AF4E-4A25-B13E-970489971C23","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":"Q5856406$64CA4D46-E21E-4BD4-AAE0-4E855EF1419A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e80b072509a9b065b2ad0b333fca356f74b07ea","datavalue":{"value":{"entity-type":"item","numeric-id":2317975,"id":"Q2317975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$C7BAA30C-3FAD-4801-9267-3094D8A50094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f61c0382bee639fd50de627d9fafa9b2f54c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3612603,"id":"Q3612603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$1FFE617C-F2D7-4F65-9603-400454D17CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ad89369a258c97c9c46ce18ce990e4eb70b175","datavalue":{"value":{"entity-type":"item","numeric-id":1978010,"id":"Q1978010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$A06CF844-3E77-4860-8BCB-993C4473B288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb32a8ab00015f4cacfd6be5e6a4ee507e66e7d","datavalue":{"value":{"entity-type":"item","numeric-id":5426034,"id":"Q5426034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$E7B663DE-B653-4853-9748-7D9AF05829E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$CCAE34FA-3DE2-4202-925A-42425DF20DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c304399ccf35ed6fdeba08cd4913d079b81371","datavalue":{"value":{"entity-type":"item","numeric-id":2426101,"id":"Q2426101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$01C1DF2D-FC80-40FE-AD44-F4D87BA4C0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7446bed6881fc83121d6738a8d42804f2baabe98","datavalue":{"value":{"entity-type":"item","numeric-id":5424867,"id":"Q5424867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$28350FF0-B4DE-421B-B194-ED840053EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$9EB1271A-D5D4-48DE-B847-2A9C1C49F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c87b7c5f58593d49c13fe92299b9be67a5ed37","datavalue":{"value":{"entity-type":"item","numeric-id":2835873,"id":"Q2835873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$3EFA7815-B0E1-4968-8A75-F44C12B51A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$BBAC80E5-C53D-4082-9A44-3029D2C5CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550e25e3a74fd3b0952480baa830dd6f8033718c","datavalue":{"value":{"entity-type":"item","numeric-id":5394123,"id":"Q5394123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$348108B0-F10D-4273-930E-B4655DEB97F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ab0d53caff47e06ccee82fa286f81c7018e083","datavalue":{"value":{"entity-type":"item","numeric-id":3624060,"id":"Q3624060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$D11C44CF-3AD1-4A14-85C9-04489DE85178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$C3EBE6A9-DA65-4ABA-BF08-8DB36036B5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a00e88ded27897c8a2f24570ff4c60e7f08504","datavalue":{"value":{"entity-type":"item","numeric-id":4592718,"id":"Q4592718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$7A6E3598-15B0-43E6-A626-B4C2A6350DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb0069eee6db1af56024c6e327adde46063f29b","datavalue":{"value":{"entity-type":"item","numeric-id":4631191,"id":"Q4631191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$E9EF1477-0A89-424A-99C9-F070E4C35EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce272ec95169345342a075144158f6b4a62585d6","datavalue":{"value":{"entity-type":"item","numeric-id":4559817,"id":"Q4559817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$396D13CB-9C6F-4FEF-B52A-136668E2D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f856a855eeae58faa13840ab27d33d320d412e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4559816,"id":"Q4559816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$72A1C9F1-4A92-4AE5-B995-929BDFC402C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea29fbe4535100c02e40355b10abbf2212a36d08","datavalue":{"value":{"entity-type":"item","numeric-id":3643124,"id":"Q3643124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$21D57F82-F219-430D-AE2A-F6D489596433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$ADCC0617-147A-4E6D-91A6-8FE417F3F314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833a4842312df09799e01a2169500c9742e137db","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856406$94BC6105-5B87-4A96-88DD-7B3DFBE168AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a7bcf76c8acd28d7fa85dedabcca6d97ddb513","datavalue":{"value":{"entity-type":"item","numeric-id":4592718,"id":"Q4592718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49c8d30b040509cdcf9c402dc5b135dcef8a02c","datavalue":{"value":{"amount":"+0.7934041619300842","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":"Q5856406$0F98497A-F800-4D4A-BC9B-F6BF2CB0A8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f049ed77bb696403339ea44b56b89a6aa3427f","datavalue":{"value":{"amount":"+0.7690188884735107","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":"Q5856406$23D5D7CD-3814-425B-94A4-3DD590A2E5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8016891f17bbf9c726505c5131dd584fc5955eb3","datavalue":{"value":{"amount":"+0.7669735550880432","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":"Q5856406$7F591327-4BE4-4491-969C-F9D99CB22F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6869c4bad6a519cafd0b2fdb8d9f577862b9ee","datavalue":{"value":{"entity-type":"item","numeric-id":854968,"id":"Q854968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f12c970449de6d53292697c4c6d066957fc407","datavalue":{"value":{"amount":"+0.7604047060012817","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":"Q5856406$AC841438-0C9B-4282-990C-1120E3A232F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9afe8c0ad589c17fd2e6c6c7c72642debf4bc43","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87059ba7f0993e4fcd5ad105f4e047354adc6bde","datavalue":{"value":{"amount":"+0.7600883841514587","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":"Q5856406$DAC3A01A-8546-47DF-A213-D61930C638FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5856406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5856406"}}}}}