{"entities":{"Q3007683":{"pageid":3018407,"ns":120,"title":"Item:Q3007683","lastrevid":51269549,"modified":"2026-01-17T13:07:50Z","type":"item","id":"Q3007683","labels":{"en":{"language":"en","value":"On freezing and reactivating learnt clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908746"}},"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":"Q3007683$CF6441EF-63B1-4086-A34F-A0A01043AD86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d482ff921a068cefcc4032ff8cbacf844207a8cc","datavalue":{"value":{"text":"On Freezing and Reactivating Learnt Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007683$A3D153A6-3485-4DAB-A0BD-1C9F89950B97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5087fa30c262b1f15131c42075fdc9a87f0fe5d5","datavalue":{"value":"1330.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007683$833C7426-5677-4DCC-AA99-21260CDB38B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97967d1048b4b1b290c5f65aa478a12b22106451","datavalue":{"value":"10.1007/978-3-642-21581-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007683$E2CFA04A-6AC3-4B43-9C9F-85DAFF679EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$CEA1FF3D-5941-4086-AFB2-128D4A560125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$C49A0522-4A45-42B3-96F2-D52B872CC391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e88d1227c6f881b7f6fcba4e1e3032aea20dacd","datavalue":{"value":{"entity-type":"item","numeric-id":513328,"id":"Q513328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$76EC72AC-4911-4D51-99DB-DE9942DEBD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$FF698782-9F4A-47C8-86D5-C8AF502142BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$1E6CA071-E0F1-4B4A-B770-E6E333566573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007683$115DF44F-1EAF-40C9-8B17-F6BAE11A34BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007683$3C8F0E1A-7D0C-47BB-8222-F9374A762DBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4746ad8f17e28db4fcb24daeb959919e12cd184d","datavalue":{"value":"5908746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007683$C8D8BFE1-1989-47E2-8ED3-60B1707C4416","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$721D8A40-E93E-4119-A9E4-7B6CBA801C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$8F52B247-FEE3-4AAF-8FDC-2EFFA3BB1240","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":"Q3007683$A2E53894-4DC1-4922-818A-77AB59E92BCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b34ef71094b41a569bc804c9bedf973d544103","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007683$EE83853E-C58B-4B90-80E0-38366536D54A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb4a61ee5e81cef5fadda6ba117d27072599221f","datavalue":{"value":"W189838518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007683$E2362277-0F3F-4035-B3F5-A762BE13635F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ed378042883c33f78646cfc2e282152ec8d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3502689,"id":"Q3502689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$F6495562-30D9-403B-AAE2-2214B84CC38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$9AE028F4-4062-4876-AD60-9DD2D9997A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$04FBDA14-AD50-43FD-A46C-82C4C3233D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$88100527-9361-4564-A08E-55BF9635A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007683$4E887114-4C8D-4B38-ADE7-93A6D686B706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37224c149bcd302e66b9cfe7145c01167a5c0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2287199,"id":"Q2287199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d30fb79a18ab871578ea9eebe6ef052ab7b261","datavalue":{"value":{"amount":"+0.7863025069236755","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":"Q3007683$55724E84-A9EA-4E4D-BF87-7579554D0CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6a8ffb7b8c948039066ba5cce549248541f01f","datavalue":{"value":{"entity-type":"item","numeric-id":3192066,"id":"Q3192066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27e6c14c4a6b67499dd31d2d559f1086c5cde11","datavalue":{"value":{"amount":"+0.7831519246101379","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":"Q3007683$D90D4688-ED89-4645-9F93-15481E8C641B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38c0a0088e1166e651fbc7418016d1c376a3892","datavalue":{"value":{"entity-type":"item","numeric-id":3453229,"id":"Q3453229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ae3b04f633bb988c056a85943f8628fbf65f95","datavalue":{"value":{"amount":"+0.7770836353302002","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":"Q3007683$F0F0E497-661D-4364-9B84-3F4400FF514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5dad062f6cb8400f87df29e1a599b6ebb2625f","datavalue":{"value":{"entity-type":"item","numeric-id":2181930,"id":"Q2181930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24140f233add510fc1310652ae11a03f94c6421c","datavalue":{"value":{"amount":"+0.7733808755874634","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":"Q3007683$C585E922-3424-4B19-9CB6-2DC06972E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279fd7f5e66b6d6609ccd988c3aa86150cf628a2","datavalue":{"value":{"amount":"+0.766159176826477","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":"Q3007683$0CBB5081-59EB-4C5B-B4A0-450E92BCB7E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007683"}}}}}