{"entities":{"Q5210796":{"pageid":7240367,"ns":120,"title":"Item:Q5210796","lastrevid":53639312,"modified":"2026-01-25T11:42:30Z","type":"item","id":"Q5210796","labels":{"en":{"language":"en","value":"AC-superposition with constraints: no AC-unifiers needed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154573"}},"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":"Q5210796$426BBDBD-3984-4B38-93A0-054884C7AC97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77def556561b435973210445714fd4b8ae2bea75","datavalue":{"value":{"text":"AC-superposition with constraints: No AC-unifiers needed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210796$30D0B4A1-5181-4505-9F71-371CA2DDF45F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82ed4d6cd00c79a9b1560e82a387c20502ea030","datavalue":{"value":"1433.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$46DCC78A-D270-44F4-8BC2-7DFA1D4F73F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2aca63c692b1bb7b51b81f5835fb7428ae5cca8","datavalue":{"value":"10.1007/3-540-58156-1_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$BDD7323E-A3F2-49FB-B618-B96C9517B80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$16857290-32CC-4385-9720-FE53B4B5759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$94430283-9867-42A7-8658-493079F284B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$7F9B1242-812D-410B-97B4-8030FAABC522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210796$134B7E50-C32F-409B-92C2-D2EF68BB0214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$A56D2A44-3367-4163-B8C2-DF3D751408DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$679F61EF-5E6A-40D2-9501-515672BA8F85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f41471ccaea2f720437fc93be5159837893c4a","datavalue":{"value":"7154573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$4B1D5562-9771-474F-B939-ECF0F2102B2E","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":"Q5210796$AB07BB48-964E-4D7B-98BF-B0E82B5044F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b188dd4af311fe73ca4f0dfb66735d98235d5dc7","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210796$FDFA5AA8-6014-4B4A-8416-FD6ABB576912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a5098a612f935c855b28840905df2b368aba89a","datavalue":{"value":"W28083723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210796$D61CD00D-A428-4A72-98A3-AA5BCCDEC160","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$6E58A58D-A53E-4FB1-8E5D-68D4BFB958D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$14755135-7C8C-4A7F-B3B8-14A858C47C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$739A93D7-8D8C-46F4-A398-061B4540EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$9323D649-1A6D-4284-A978-E49EB45F0A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6fa9e86a1e1bc3917b8ffff91685da98e20708","datavalue":{"value":{"entity-type":"item","numeric-id":1187854,"id":"Q1187854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$ECCEA1F2-C526-450C-9DA1-B413637C7B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$0771D8CC-795F-4762-9E71-3C56563988F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$0F5BC46E-8E71-4704-9242-7A78D4D0A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c628ff52abede3b151ab9a84b4dbfa41be244","datavalue":{"value":{"entity-type":"item","numeric-id":1357668,"id":"Q1357668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$365353A4-9CBA-410A-8120-3072F952C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c9c1aeb9cd97d0f637554f9533dd19252fdc52","datavalue":{"value":{"entity-type":"item","numeric-id":4264721,"id":"Q4264721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$604FC0BC-D54B-4476-AA02-64FDEF861599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$D473EE4E-2B88-485E-9302-83052D1D0D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b0da357bc28f2018fdac63b895dea5e653f0e3","datavalue":{"value":{"entity-type":"item","numeric-id":673623,"id":"Q673623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$DA4C4B33-6B7C-4167-AEF9-71078FD2A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed691107bb85509409a9d9ff84428d767332be2","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210796$3EA2FDEE-B95C-4E37-A7B4-C496C024EBAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33f30e9dad57eae1b4e76ad6357482eae0eedf8","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce952e13c361de89f7e27a0c1a1636030e65048","datavalue":{"value":{"amount":"+0.8049991726875305","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":"Q5210796$C8B5EEC8-F7B7-4F58-B19B-91CD7576F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb12de7a948e2e1b7677f03b3678c4a097a9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c970a9521033450f360044a27bf8bc5732cc952","datavalue":{"value":{"amount":"+0.8033808469772339","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":"Q5210796$EABC25BC-F5D9-4C04-B1E2-4DF662CA45AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5a42e658543452fe32c23cfa6bc53fd395c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5055849,"id":"Q5055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b594974b07e79a81b76321998aa823024a07e5ba","datavalue":{"value":{"amount":"+0.7816158533096313","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":"Q5210796$F30C9C6E-A223-4B93-AF1B-53FD50D7B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e031dcfc56951e402a9d3744e5673d347f22d6","datavalue":{"value":{"amount":"+0.770491898059845","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":"Q5210796$A1DEB11D-C11E-4BC6-96AA-67A4DCED6D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9bc103ac6abca6432b206f30fd565c83d1948","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ef047bd774ad9119185c2d0441b043cc61356d","datavalue":{"value":{"amount":"+0.7703449726104736","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":"Q5210796$5DF09235-84FB-433F-AC9E-5129F94A6965","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210796"}}}}}