{"entities":{"Q707362":{"pageid":709211,"ns":120,"title":"Item:Q707362","lastrevid":63686166,"modified":"2026-04-11T14:51:10Z","type":"item","id":"Q707362","labels":{"en":{"language":"en","value":"Making assumptions in the automated derivation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132912"}},"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":"Q707362$6ED4FC76-428E-4168-AEA9-C1BF91075BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5984bdc2af77c55ebb8f6f5ff0c48cececbe7e0f","datavalue":{"value":{"text":"Making assumptions in the automated derivation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q707362$9B0CB27D-698A-4706-849C-E70682A88560","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88492a6e3856f075069c80ac7566e37e99db0747","datavalue":{"value":"1094.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$E875D374-2459-4211-AF48-F2175AB8E905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57d751ecfdb75566a50dedaec1354614cc1c704c","datavalue":{"value":{"entity-type":"item","numeric-id":707361,"id":"Q707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$94CB8D1D-B470-4A55-BBB0-567737A74A5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$36D5712B-5546-4332-A778-E821278DCEA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bb430d98445fad0c07a301b258c507df3dbc1f9","datavalue":{"value":{"time":"+2005-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q707362$7D6241AE-0F33-4823-B08B-F1748BFF8BAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$2ECCF616-C149-4EDF-B3A8-F4C933BF10E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$9359DEF0-E00E-436D-A65C-5930F570CD51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cabaf17197c832614c2dc0aed68b919114a1ce0","datavalue":{"value":"2132912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$5711D2C2-1B1D-4978-84FB-BD87D8E697E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q707362$23FF48F8-B011-4A14-B6A6-165CA721E8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f608b622eef0abbd34a243b270e1d1babf372ce","datavalue":{"value":"Conditional proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q707362$1FE6E871-8BC6-4EDB-968C-EBCAA9AE7C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q707362$C1EA5280-1B38-4080-B0AF-9BA6E3C621A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81519a96e8e82667b27679d29defe712f8937ce4","datavalue":{"value":"PT-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q707362$6C9A2C16-207C-4FA6-AFB7-87DFBA900440","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":"Q707362$D7102A31-26B1-4898-93C3-7D85D047BC0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd6c61c745bc66d21aa36ba974f1d0e2175b5d57","datavalue":{"value":"https://doi.org/10.1016/j.ins.2003.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q707362$A8E03D23-469A-4338-8EA6-DC237371E3BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34e0ee0718a9e6263f452c06fb05687c39812855","datavalue":{"value":"W1987400528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$38FBE2FE-BAED-4699-83E7-8FDBFCB699FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39f7cbfbfe72bd6781372788077dabb486736fc","datavalue":{"value":{"entity-type":"item","numeric-id":4285644,"id":"Q4285644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$B8EC9334-DA99-4C82-B8CC-5CE1D81E2596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d31bfddaacd76a8f7da9f101f2cd8f268a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$3CDE6B53-9FAF-4BC5-9585-CFC5B55D08EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893d6cdd501c705ed9cc0f33e2ffc2256c0335da","datavalue":{"value":{"entity-type":"item","numeric-id":4452612,"id":"Q4452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$C55FAD27-85FA-4BBB-8666-F223C8FF97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1192b3d116220d3bf0355c57ea47e14a3b5126ba","datavalue":{"value":{"entity-type":"item","numeric-id":1292319,"id":"Q1292319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$C3B478CC-2B7C-4780-A786-0BC0FE2A2E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b234721bf2dc72cde4eaeda17fddb62e623711","datavalue":{"value":{"entity-type":"item","numeric-id":1399134,"id":"Q1399134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$F6C63A0D-7AC2-4801-9918-168963735194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$499E7ADF-4BED-41F0-9F7E-5BE0B0EC3671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2dec9eb878f98568cf544349b9fed6e4f907e1","datavalue":{"value":{"entity-type":"item","numeric-id":1292578,"id":"Q1292578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$DB37C291-AE07-40C8-BBD4-C369984D6C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f79ecd22e16d79d91c4b5ff9df0e51214bc658","datavalue":{"value":{"entity-type":"item","numeric-id":4452620,"id":"Q4452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$8AE8893F-C855-4D3E-B994-1429CB482ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b072a827eea1e8c611d3a9f2da6877a619604","datavalue":{"value":{"entity-type":"item","numeric-id":1977760,"id":"Q1977760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$E6AC2FED-9BCE-42B6-B85D-03F3061B3DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16220e9810c1bed07c3d6d93354d56350ef530d8","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707362$70F51326-F9B9-4DC4-9899-5FED704B056E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d02fee9b8a0d31acf33cf17814a4b9ef572dd54","datavalue":{"value":"10.1016/J.INS.2003.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707362$F103CF71-01A6-4CFF-9959-6598121C64D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c879d697cfb32770941a8ff01d9c257d58380","datavalue":{"value":{"entity-type":"item","numeric-id":5475271,"id":"Q5475271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6ef164168ef8ab505aba8690a65b0436279c41","datavalue":{"value":{"amount":"+0.82488793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$72BCE7AB-B811-4CF8-A61C-B9C51191C0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8d873a79db671fedf26a527ce5cc01c42d199d","datavalue":{"value":{"entity-type":"item","numeric-id":3474197,"id":"Q3474197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6ef164168ef8ab505aba8690a65b0436279c41","datavalue":{"value":{"amount":"+0.82488793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$BBCB9CE1-AB32-488C-ABB0-419A8942AE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db70a68d3cc2bc5a2bd14cf9bdcee15d3a78ed35","datavalue":{"value":{"entity-type":"item","numeric-id":1094082,"id":"Q1094082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe01a78390549e18c2665d1e37ba90199870f601","datavalue":{"value":{"amount":"+0.82206964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$9B8F931C-CDE5-44A5-AAE7-6813D4218769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b5b24fa827506774fd75d10fa2680129828ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3810792,"id":"Q3810792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0450cbbc3174993c9b4a5498f13096ea926e678a","datavalue":{"value":{"amount":"+0.81924546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$E9A598B8-517C-4C8A-9FC0-BC9F335D0970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8172f9cb320a62eaa12f80bf4f1dc92214b160a","datavalue":{"value":{"entity-type":"item","numeric-id":3178360,"id":"Q3178360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e82150f29e1d6d8b32916a2cefa93560772693","datavalue":{"value":{"amount":"+0.8157368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$9A4AB448-B40A-4DEE-A194-D7F66D211666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10be925f951acb06b2c63bd81808c2598f3895d5","datavalue":{"value":{"entity-type":"item","numeric-id":4465274,"id":"Q4465274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c068979300949bf5a41d3b737060eb1ee5367cd6","datavalue":{"value":{"amount":"+0.81474954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$2FB05ADA-D1E4-44F3-B43D-B934FDAF36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7026bc6924eb322ff7851b16c1eda202113d8055","datavalue":{"value":{"entity-type":"item","numeric-id":1334756,"id":"Q1334756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad65e50c91509a7c70bb303620aa2c6180e67b5","datavalue":{"value":{"amount":"+0.8144494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$2A2EE83B-35DD-4655-8179-991D4FA7B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9ad8c8fedb5489f08cf3000b953e90dfbc74e3","datavalue":{"value":{"entity-type":"item","numeric-id":4868555,"id":"Q4868555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1810dccd75f4f199436a7a2298a7daef3eebd049","datavalue":{"value":{"amount":"+0.81017005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$11B2AE4A-9DA6-4811-B15F-EBD9254C4C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c5387a39235c7e1ea6dae0abc1ed11d09b9d11","datavalue":{"value":{"entity-type":"item","numeric-id":1029809,"id":"Q1029809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad4ce443c03c2ab2bcf6194c19fdd12276c75ce","datavalue":{"value":{"amount":"+0.81016064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$111A55B4-1944-44AB-9A5C-E062A101B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc42060a3c506d7dd41e1120918b2d738a6ec64","datavalue":{"value":{"entity-type":"item","numeric-id":1601835,"id":"Q1601835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15eb223cd89e8abeb55fb175e48601b4eb91ca2","datavalue":{"value":{"amount":"+0.803394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q707362$8AF404C2-2A62-4D97-B8F2-49569CA43DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Making assumptions in the automated derivation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Making_assumptions_in_the_automated_derivation"}}}}}