{"entities":{"Q3608415":{"pageid":5638321,"ns":120,"title":"Item:Q3608415","lastrevid":50591333,"modified":"2026-01-14T12:15:40Z","type":"item","id":"Q3608415","labels":{"en":{"language":"en","value":"Integrating Linear Arithmetic into Superposition Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523396"}},"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":"Q3608415$81758441-01FE-4F96-A66B-3857FEAC36D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e1ed596e63e6406029e0136af3902d9dd0c650c","datavalue":{"value":{"text":"Integrating Linear Arithmetic into Superposition Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608415$8029E4BB-0946-441D-9057-2B9B711F6AB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dced839d0a86633e75df792ef6df634e7b2b727","datavalue":{"value":"1179.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$AB988669-3327-447E-BC2F-31B4F9810369","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b9054ad86fb9de4ff105caebaf8246e4f999c00","datavalue":{"value":"10.1007/978-3-540-74915-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$F3C53908-FCAA-4E09-8BE9-B3CF4FB5C31C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608415$E8C257A3-BD47-45A1-AB0A-68C726D859C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608415$8AE7F155-53CC-488D-B607-5005DC87A1C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608415$6764483E-562A-4166-A207-66014D6F8780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608415$42B17211-D8DE-4F74-A1B6-3526DA73F772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$CA84F8E7-C939-4B04-A4A4-16B92AD8683E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$C37716B3-5FDD-493D-BAC8-B98A83427968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6969c3e88f3949ff68697e147d55ef1e9dc7260","datavalue":{"value":"5523396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$1900F077-FAB1-4C9F-90BD-6DABE76D81A3","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":"Q3608415$B423723A-31F2-4639-B11F-D3955441F8E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e2f0db992bad5146bd9582193f8c51c703aff12","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608415$C1E7021E-9EDC-42CD-87EB-7C329DEFC404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e78afd116b4459c4e1e75e773756b5fbadaad2a","datavalue":{"value":"W1557130751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608415$8493F02F-E2B0-49ED-8CDE-152148CAE300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad6694bc84bc7db2a7b91bbc531be7915baee7d","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120fedd2afc342ab65d2fb37a15e75b59fac311f","datavalue":{"value":{"amount":"+0.8640117645263672","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":"Q3608415$3719DBEE-5C55-4C2F-BF64-62491D80BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00058f037f22647676255159cc8be291fdf1cc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9572f38508e47c54bfc8aae0004d97cae9a9fc9e","datavalue":{"value":{"amount":"+0.7756629586219788","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":"Q3608415$C87D1547-F7D5-4A69-85D5-DAB156F5B041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1710ded83e70542233b4417eea911ce3e3a0af","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c833f448151d6f698f3d8f22181707086649f1","datavalue":{"value":{"amount":"+0.7719296813011169","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":"Q3608415$C0161C47-49F1-4D5F-B1F1-BD09FB128FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92de1a09822e0e115caba8c3d664e95defabd96","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adea34cecc8d72ec19714b76cd616ccec2dfe9b","datavalue":{"value":{"amount":"+0.7702853083610535","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":"Q3608415$D0DA84FB-7FDC-43F7-A328-F335DE3FEA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc97af2ab6a029a846899ccf182efc937b1090d","datavalue":{"value":{"entity-type":"item","numeric-id":438531,"id":"Q438531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e72edf0758583a566b1683c32e11d66f2f94cc","datavalue":{"value":{"amount":"+0.770243763923645","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":"Q3608415$9E7639FD-0AE3-4C7F-A17E-7BF76B3D4F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608415"}}}}}