{"entities":{"Q5900720":{"pageid":8007014,"ns":120,"title":"Item:Q5900720","lastrevid":50958554,"modified":"2026-01-15T22:40:44Z","type":"item","id":"Q5900720","labels":{"en":{"language":"en","value":"Matching in a class of combined non-disjoint theories."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695402"}},"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":"Q5900720$A7581986-18B6-44ED-ACF6-CE1EC8F0ADDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900720$F4F3668A-E6AE-45A5-AF3D-390B267F9825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"918355d505b6394bc17917c6081afcf90108e3f6","datavalue":{"value":"1278.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$B551B076-30E8-4B29-AEF2-3BAF843FDD1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900720$C9474C67-55DA-4D35-8D66-4B5BAA2B6D59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900720$A3D98FEA-395F-4916-926C-B205EDF1D4D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900720$914E1FEF-78FF-4AE2-91ED-5D762277CD47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$4A907EEF-19E9-44EF-B1D6-BA8C128ED9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$7209E8BC-B50F-4166-BD94-FEA5C7B488FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$017F604E-85A1-47EB-9C79-23CAF6166AE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae15e743b125e6343f3ed1e95d393d81e9c0461c","datavalue":{"value":"5695402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$93203781-834A-484B-B660-7734AEF9EE23","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":"Q5900720$2F0B7A4C-51D5-4DAC-BAE0-2712550D161A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900720$E3206DE4-2518-45FF-AA22-16EB28CA4786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$30BCC427-5BC8-4CB1-B861-74997198F2E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900720$50DA0BAF-AB4D-4642-AC75-8D211691F76A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd92749e24b7eb03c2e71a7601384a8aeb0bccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1917102,"id":"Q1917102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da3fce3ac235fda14151aada6d1a26c1c51a307","datavalue":{"value":{"amount":"+0.8986220359802246","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":"Q5900720$E2B81086-9A91-459D-A4DF-247C937F0E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041d7249cdf536188d8f7a01a6503904baafca35","datavalue":{"value":{"entity-type":"item","numeric-id":5055731,"id":"Q5055731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074453f97acf841e6544beb17e5bf7db4ccab48a","datavalue":{"value":{"amount":"+0.8518977165222168","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":"Q5900720$C277CB1C-9551-462E-B1C4-01CE4A2704B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf29b5584e8eb3dadbdb27f7fbb81d68cdb5bc98","datavalue":{"value":{"entity-type":"item","numeric-id":1186723,"id":"Q1186723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f1beb62f800b7bdf037e91549c4722c7a7ce69","datavalue":{"value":{"amount":"+0.8517428040504456","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":"Q5900720$2539CA11-5D1C-4010-BA79-D32DC3905465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf96db696e749d4afe3c1cfb30f2132f3a57c145","datavalue":{"value":{"entity-type":"item","numeric-id":4266518,"id":"Q4266518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a27fa94ab1ef26436e68ec41dc2931ff7c2c32e","datavalue":{"value":{"amount":"+0.8291791677474976","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":"Q5900720$F86131A6-1F08-42B1-B762-3B2203868230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c705f5061195c88e84ba0610bec695495742f08b","datavalue":{"value":{"entity-type":"item","numeric-id":2185488,"id":"Q2185488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035f00fa405712ac0ba57ae9db8db41ecc7f8cd0","datavalue":{"value":{"amount":"+0.8267634510993958","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":"Q5900720$7E41410F-B3B9-461B-864D-C4D6D9E97A6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900720"}}}}}