{"entities":{"Q2389629":{"pageid":2400372,"ns":120,"title":"Item:Q2389629","lastrevid":72681432,"modified":"2026-04-14T06:28:22Z","type":"item","id":"Q2389629","labels":{"en":{"language":"en","value":"The model evolution calculus as a first-order DPLL method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580261"}},"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":"Q2389629$F9966893-B394-4A03-8285-45C416D7D52A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2adb7367719ed57d1f2113fadc3a05480fb81044","datavalue":{"value":{"text":"The model evolution calculus as a first-order DPLL method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389629$5094215F-989B-4691-B154-EC871B6378DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ba37f2b364b6b974000ef2e5fa5622e4e711d3","datavalue":{"value":"1182.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$66ACEDEE-D3B1-438B-9C60-6E8FE2204768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$BFBDB275-3B8B-4FDC-9CB5-4F0807E70E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$29FDA2D7-E42F-4D1F-ACD3-E4B62E5342B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$BCCB4B98-1A53-400D-B139-675D9BD12F46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"895fde569e76df2f055cb42fcee60c0329a59331","datavalue":{"value":{"time":"+2009-07-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":"Q2389629$0C6B0A90-6446-4190-86D6-835023040AB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$D0860616-0DCA-43F1-AB6B-D265C876976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$4FE69F27-95DF-4675-BB06-62156F87C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$3E258398-8C80-4E49-A20D-1F36C60DA4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e4f1d883793da7b239bff6a1bf9631c0268ad85","datavalue":{"value":"5580261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$0AB230B6-F6AD-4B56-AAA6-8C186793B674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389629$ACCADEC5-C10D-4E47-8DAD-4E4C0542E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389629$DE57EF8E-ABC2-4E8D-841A-9033B306EC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389629$133D89B7-D9F5-42DF-BE37-DD4998AB8EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389629$814238DD-C9A6-4276-8975-30CBCCC0D1E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$395202CF-F1FC-4D36-8A7D-E6D636D2531C","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":"Q2389629$7F0F6BCC-04E6-4438-9735-F5474ECEC7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$33D49C58-DE7D-466A-A625-F38597923314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a40ed2800cf27e515864390c2d9a294d464a30b1","datavalue":{"value":{"entity-type":"item","numeric-id":33513,"id":"Q33513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$F682F22E-AB7C-45BF-981A-AA6F093A1F10","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":"Q2389629$5A4103F3-D007-4E75-84E1-E5CA17CE6F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$C076013F-8BBD-451C-8188-2060DF14AD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$FB367174-9C40-4692-88FE-665DB145B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$09158F3F-B677-485E-9821-D12F333F99FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$6F29CDF9-CACC-4CE8-BA12-68A342D63241","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":"Q2389629$80D881E4-7BA8-4D9B-AA10-E33F5522AF5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"976bca4d425982889fc07ef8aa82ab5f929c6263","datavalue":{"value":"https://doi.org/10.1016/j.artint.2007.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389629$53752DC9-8E25-41DE-BB46-6113AF5DA277","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e624438167ff0768c03c851168aced2cd836ea73","datavalue":{"value":"W2141010048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$92B52E36-5791-45A2-BD31-9383D53B6F2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49666558e5a266f8c31a331a000db76b0e587406","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$48345315-D0A1-465B-9A08-B331187DDDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$98C2BDC6-8C65-4B0D-B664-3ACFC0F706E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$CB46085F-E88E-4CB2-9AB9-647A30906544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$D48725FA-5294-4E39-B3A5-4EE30AAA2B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$DC4D2B41-864B-4ED4-9C5B-5EC2F86EEEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$F44AF0CC-84BC-4E30-BE20-245CA63EF722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$43469172-8893-43C1-BBF2-38DC5276281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0b5570cb99f8777c021532085aa4af0816281a","datavalue":{"value":{"entity-type":"item","numeric-id":1404980,"id":"Q1404980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$771BB102-8057-48A1-9376-D358F4CE5929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$DBE74F88-B129-4CBB-9E22-DCE6925284A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2aad2916b073577856c022bdffa0d3b878301ba","datavalue":{"value":{"entity-type":"item","numeric-id":4645231,"id":"Q4645231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$22435162-55CA-4545-A6CA-BF691239BA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$BEA0EDAB-4F21-4974-AC06-837197BE140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$3F67EB3E-CBB4-4699-AF81-81C0C27CFED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$05D09F84-F0D7-44C8-BD28-70049B7C3631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$54EC099F-9B3E-424F-BC5D-C285984CFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c0583b3ae4e5ead4fabde676f44a42e64e7587","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$EFF2F579-4355-440E-9E90-9BC0480B7D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$80845F62-44E1-4762-BCE1-E1F612A7796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$1033F2B3-33E3-4F9C-898B-B2B7EDD7E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7557eba9cc45245cd7bd26199a47b6fb4b42800f","datavalue":{"value":{"entity-type":"item","numeric-id":5394628,"id":"Q5394628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$2946BE1A-5846-4D9C-984E-4CDFA47CAF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$25A49D32-0779-44F5-92DE-A41AA9DCC8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecac0a652f45f674f51a1ec27cc7ea80ebdee54","datavalue":{"value":{"entity-type":"item","numeric-id":5234715,"id":"Q5234715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$80330345-2EDD-4948-903D-F27F6F1FF9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$CB8DA8A0-06C9-4694-AA5E-C2A32BBDDD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04843464a3369615eab52a529e2b30351bdf49e4","datavalue":{"value":{"entity-type":"item","numeric-id":4412856,"id":"Q4412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$D0FB7E3A-6318-448E-BB31-B6671992212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$68D049AD-08A6-4564-AE9F-0E2893F68089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$4F7BD6E6-A5EA-4E5B-8D7E-E5EAFC54682B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863e4781dcf0a2a9fe02df51636e0f8bb63376f0","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$17D5D834-A3D0-4634-BE83-769B0D65C873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$439A5579-8881-4364-9BC1-93AD9F69C2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$1A4CB4A7-7B0F-4DD0-80D3-6AF05DDDE5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8674a26153ce786fc142cbca9d495f9ca891ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$618E9530-E360-4E97-89E8-068332C83F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255ef140b313d7dbb59f798668e69309970f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$EB6116F1-982D-4414-9004-23E698B3D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$F0D61713-2753-4DBB-BB97-4FD28403A8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae04facb4c3c5e6dcc95e09d3c27d283bff5201a","datavalue":{"value":{"entity-type":"item","numeric-id":2492147,"id":"Q2492147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$9FDAA87C-3B22-448B-AF4E-C9DAD92F421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811eee2cf1f391c5114de473a18e82aa89016ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4237680,"id":"Q4237680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$ACC5BBB4-0EA7-4C6B-863C-A5587BC3A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$AB8A05BF-5D45-481D-9880-2DA02BC628C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b52684222a0ab1593878d11e7cd081af0f1651","datavalue":{"value":{"entity-type":"item","numeric-id":4412870,"id":"Q4412870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$64161FB4-197F-4C31-8B42-24204744B86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207add5e6b163f809fab5a384bb65f34732721c1","datavalue":{"value":{"entity-type":"item","numeric-id":5307066,"id":"Q5307066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$E403DBDA-0CC1-4577-8245-6AEF66BE075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c4614861cca8cffe8c73b1eab1c760ae07859d","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$BDA424DC-2414-4728-8E37-A40C87B23FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$88765310-9870-4244-818D-B2A2F41F9FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6179b8b79bf04c1f0889052f4eb2421310a30e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4708927,"id":"Q4708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$14E37EE7-3C92-4EE7-BD81-7581EF1877C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29cd2ff4fa4bebb284b8dcd8c1315d4614efa675","datavalue":{"value":{"entity-type":"item","numeric-id":4783311,"id":"Q4783311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$83681392-4001-47DF-94C9-ECC4F336118F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b138940ca413e5db7d95a7303881a76156c6dfb","datavalue":{"value":{"entity-type":"item","numeric-id":1869611,"id":"Q1869611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389629$D705DA49-5FB8-4F1D-9847-6EC05ABB4B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc610755d67003f8d05c0f518da0dea35ef84495","datavalue":{"value":"10.1016/J.ARTINT.2007.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389629$228A9752-764B-4725-8A25-8652452817D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3095e6f99c1ed9ba385376092c408fc254cedf90","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ce0ccb31b30bebf877c7d77822aa816530515f","datavalue":{"value":{"amount":"+0.8561741","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":"Q2389629$6B93E377-A6A6-4106-AD3D-AC5026490B77","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":"2adac9c48ff63a17dafcfe90f4702375d04d6769","datavalue":{"value":{"amount":"+0.8410705","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":"Q2389629$EB0FFEA5-F739-463C-A255-201593CD8EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f986ec0cbe86d1b57ee3714c8843e3131806eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb0c96da813efd4c840cda1e6102c0e476b11bb","datavalue":{"value":{"amount":"+0.8313665","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":"Q2389629$CD26DCE3-A808-47D1-B421-82104DA4036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47fa51543127b144699ea47ffbe93caf3f9b06a","datavalue":{"value":{"entity-type":"item","numeric-id":4708927,"id":"Q4708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4c732d4e90e2053c77eafe8a840d1fa6e226e0","datavalue":{"value":{"amount":"+0.82238275","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":"Q2389629$2AC6141B-18F2-4D3D-9B7A-678AA529E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8241c4b3f7e9b5b036b201f4b1889f5481c081","datavalue":{"value":{"entity-type":"item","numeric-id":5200017,"id":"Q5200017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f12b4dd1badbe2e1ff5ecb504f7cf69181119b8","datavalue":{"value":{"amount":"+0.8209985","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":"Q2389629$02D7C756-ACC3-423A-8DE4-C156565B21A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c9c971854e58967dd64733cbcf4a189f65b964","datavalue":{"value":{"entity-type":"item","numeric-id":3007246,"id":"Q3007246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d53c42dcb25e02b24c3372e0b8a64ff5c2615f","datavalue":{"value":{"amount":"+0.81965077","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":"Q2389629$F4739C3D-9708-406D-8915-AC0E4371EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cffd5ebf8dfa9639887aa1690f633bf306f8c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804a897781e7f97d8880175816801f69b00d4f0e","datavalue":{"value":{"amount":"+0.8185041","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":"Q2389629$1485654F-629C-46A7-B76C-56D06030D3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f236b2ee507874e13d95500bd71865f470cd201","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27669eccd964d6a89d88cc5ebca5b1f45eaa2540","datavalue":{"value":{"amount":"+0.8169687","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":"Q2389629$C3133472-F3BE-4D98-8D4F-CA4961476235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e006ecbb92e0971d5ec850ebac7b1705691407fd","datavalue":{"value":{"entity-type":"item","numeric-id":3507457,"id":"Q3507457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c829964f84275db5daad7e5eab4ad94dc97eea","datavalue":{"value":{"amount":"+0.81641805","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":"Q2389629$9938293C-05C4-4EB7-A89B-3F6B5180D34E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The model evolution calculus as a first-order DPLL method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_model_evolution_calculus_as_a_first-order_DPLL_method"}}}}}