{"entities":{"Q3608778":{"pageid":5638684,"ns":120,"title":"Item:Q3608778","lastrevid":50592128,"modified":"2026-01-14T12:18:26Z","type":"item","id":"Q3608778","labels":{"en":{"language":"en","value":"Handling Polymorphism in Automated Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523778"}},"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":"Q3608778$600002FB-3E76-4B5A-AF9B-F9BA8E7D09D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31feedc03695b6a53cdd14a640b7ca0e197d2526","datavalue":{"value":{"text":"Handling Polymorphism in Automated Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608778$B295497A-5EDF-4134-9829-1A86A9A17928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675f01ddbf49c92bf7fbade434b2153bb615db24","datavalue":{"value":"1213.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608778$0F32F78C-9A7B-4C9F-A612-0C903937C0CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"492ac689ff1c0284261fe37237a3221fa9c2f5ea","datavalue":{"value":"10.1007/978-3-540-73595-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608778$CA2A082F-FE84-44B2-977B-AEB0212ED7DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"937ee4fed97046ddf53d1f90391101629a36b704","datavalue":{"value":{"entity-type":"item","numeric-id":1634364,"id":"Q1634364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$A33E951A-E65F-4957-9DF7-987566CB2573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1afbfba898283b6c4e1b3f075a124909f732f804","datavalue":{"value":{"entity-type":"item","numeric-id":2864403,"id":"Q2864403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$6765020D-5E38-474C-A8DD-FBAF49EA50F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$4BE6F7F5-3CE6-4044-858A-5C925EF2B40F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-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":"Q3608778$793AA558-23CC-4ABA-A1A6-A53D72F80C90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608778$6DEF2C40-066F-4127-9BDC-01AC6F3811C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"516bff7979767b8d6f982286173b1e600ccd50f0","datavalue":{"value":"5523778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608778$E21EB20D-7B7F-408E-B7F3-20E939288091","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$E4D6FB63-8976-443A-873E-40CF2A52945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$37F82A01-9C0C-491B-B8DF-67CC4D4B4CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608778$ACC69B74-4329-4FF6-B6D4-FBAE5E8E4018","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":"Q3608778$CCFE9892-E189-4A0A-A5A0-9DA385103A27","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":"Q3608778$2ABFC0AC-354E-44A7-B4C2-2783490B0522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784be6bfd2baeba9c2e328fdff3c47ef9518dfb2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608778$BC449870-F64B-465C-A0CC-A9AF65DF939A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48be0c124ab1a48129973c809e0d5a3cbde241cb","datavalue":{"value":"W1557830359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608778$2D9525DF-469D-4CA9-9B00-E05674696012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c730fb1a6c15a73165297403d2ae517441a71cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3172884,"id":"Q3172884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff1524c658c446a55fec34e8f4459f26789ef4a","datavalue":{"value":{"amount":"+0.8179858922958374","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":"Q3608778$3266D0F5-2845-401C-AAC4-62F7B30B3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5e8c09986f82cf1dc15265a33a380b34037d33","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1647162c66110eb7337fad64ffb8299c4a2dfa9","datavalue":{"value":{"amount":"+0.7878870964050293","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":"Q3608778$2802579E-CEAC-4F8C-9CFF-AE798A8D540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062a7b7580365074b64d54fe631d8b6c277e8274","datavalue":{"value":{"entity-type":"item","numeric-id":2974796,"id":"Q2974796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb687bc9f8925789f70a2840bff82e23ae680fa","datavalue":{"value":{"amount":"+0.7837547063827515","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":"Q3608778$E5FB47F9-D4ED-4C77-B812-3A46C13D79E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1621516842948eea32b3a63e574bd0c218de9626","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c36c19a9e1c3524cd811e62684dbd4e5b56c5f","datavalue":{"value":{"amount":"+0.7026796936988831","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":"Q3608778$110DAF01-C06F-4180-8EEA-6126DC7CD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113e2d1d879d9c142457b829e6b1af5a24f50a97","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516a6a07edfd1532a8aee2db2e121379516e3014","datavalue":{"value":{"amount":"+0.7002914547920227","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":"Q3608778$66285AAB-6FDC-41D5-8221-C5613EDD8CC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608778"}}}}}