{"entities":{"Q2204452":{"pageid":2215195,"ns":120,"title":"Item:Q2204452","lastrevid":82596818,"modified":"2026-05-06T21:17:21Z","type":"item","id":"Q2204452","labels":{"en":{"language":"en","value":"Timescales of Boolean satisfiability solver using continuous-time dynamical system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261607"}},"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":"Q2204452$29A46E22-DF86-4E0D-9823-94BD935E0D14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657611f5a8b74906cb32c24ef43f10650d0c5efc","datavalue":{"value":{"text":"Timescales of Boolean satisfiability solver using continuous-time dynamical system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204452$69A8D358-FCC0-42AC-9519-32F9ACD1B21F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23587525ae721841c82755eaefbb81fbbe0cc054","datavalue":{"value":"1452.37088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$85C5F0CD-5F14-4B5D-A9C3-F7DF04B250BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f6b118fdf081cb8be4274778d6b1111f873230d","datavalue":{"value":{"entity-type":"item","numeric-id":457715,"id":"Q457715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$585CC7A7-303D-4047-A64D-2D920D866DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"061490cc6c94ca68fe39305f52ec671e86353e04","datavalue":{"value":{"entity-type":"item","numeric-id":204468,"id":"Q204468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$012522BE-6AD8-4177-9EC3-4A3CA0494640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15f4604eb67fbfaf75facb3a650d1697753512e8","datavalue":{"value":{"entity-type":"item","numeric-id":653148,"id":"Q653148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$83FCE63D-628D-4DAA-81E7-9DA7DF624745","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"808a8c67e6fa2e90fc8ccd13eadca038054e6a2e","datavalue":{"value":{"entity-type":"item","numeric-id":186646,"id":"Q186646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$27873CC3-90D3-4172-A4D3-A780A1F0E5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74f969d0fb9bfcdfa4b8edd3d369bcf872715087","datavalue":{"value":{"time":"+2020-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2204452$28A25E3E-BE56-4911-A34B-4C989ED2C463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"efe798d7098c17f5c1e8d98315e9704238a5f45b","datavalue":{"value":"37M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$4A93DABF-9FEA-4A3D-A75C-99CDDEEE391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d92f174eb50affd410c2d44a1bbd9646c561b62f","datavalue":{"value":"65P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$694221C2-AB6E-463E-8965-ECC65F1FEE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$2B8EA5C8-BA53-4A02-8D32-3F5927FAD7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f07c9c45244fdafb8ff87c2ddf3cd06b82188e5","datavalue":{"value":"7261607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$1374723A-92CC-426D-A2CD-3DC2F738E914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ff240b8e957e38d7774f72a6148cb4c96ef98c","datavalue":{"value":"chaos computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204452$A04F12D8-6931-4DDF-B8B8-3C9E946321A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e32a33d4de4fc6ed8c48eb222901cd796a4c8b","datavalue":{"value":"analog computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204452$9BC16E32-6794-49A2-AD47-60ED25B4FE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204452$A965448F-54D0-44F8-BF57-A66DC8E3C8A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd11d74125c56df3935f08764ba12ac63750a99d","datavalue":{"value":{"entity-type":"item","numeric-id":24847,"id":"Q24847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$D012F017-9982-4E35-A5AA-8743008C9D6A","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":"Q2204452$EB64742E-46D0-4557-BA2D-AC79577581C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e28f231449a68cbb73544e5680851fba50d34f7","datavalue":{"value":"https://doi.org/10.1016/j.cnsns.2020.105183","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204452$865A100E-6546-4D33-B915-5A4069238D5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b08d0bd95fa2817e867987e08c74125726522357","datavalue":{"value":"W3000109848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$82282041-797B-413B-957B-D5B87D9C7D45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d02d1ea3c025df6a57e4eb8432aceff8f23709","datavalue":{"value":{"entity-type":"item","numeric-id":1383842,"id":"Q1383842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$F4DC1636-9C66-4CC1-AF6E-C405B6205200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319b1024154434406686dc35c9360c8866197c6","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$BDDF293D-9B2E-4CD3-B947-34192236C1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad106f2e6fbb3c9a72b2bcafdb59e5d246734b9","datavalue":{"value":{"entity-type":"item","numeric-id":5309924,"id":"Q5309924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$FB557603-D50C-4E89-9796-F2C71E94D12E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41390311619deecf19fc8940ab3178cf52474f3f","datavalue":{"value":"10.1016/J.CNSNS.2020.105183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204452$46104BA2-A4B0-4266-B5AC-945AAD9578D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855c62ed1806511ce5cf9afeb25ec5cb4ef18060","datavalue":{"value":{"entity-type":"item","numeric-id":6040130,"id":"Q6040130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e0cfd2a9b0b73bbfa79abb5a195135b23cd771","datavalue":{"value":{"amount":"+0.7128587961196899","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":"Q2204452$6DCA9EAD-A7C8-4CFC-B780-17818C750804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5c76fabe88d9c70eba38b514452624b68ca549","datavalue":{"value":{"entity-type":"item","numeric-id":2729721,"id":"Q2729721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc0395d2e5d1e8c9ba7a36e86b6558e14f1c465","datavalue":{"value":{"amount":"+0.6889118552207947","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":"Q2204452$1BBA8D0C-F6D2-4A45-8B97-EF6EF4BD27FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95a74c5e85d5bb8b59c6c0f33b4101302a13839","datavalue":{"value":{"entity-type":"item","numeric-id":689970,"id":"Q689970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1354d3bc14d152aceb8be369a852b42c921d666","datavalue":{"value":{"amount":"+0.6748886704444885","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":"Q2204452$F9795BCA-6298-4F65-B80F-1E85FE8565CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45250c242263f5c88cbf4201f606e35db6a504d7","datavalue":{"value":{"entity-type":"item","numeric-id":4847999,"id":"Q4847999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e3464a9a99daf71106f4cf61ff221b39f3b86c","datavalue":{"value":{"amount":"+0.6708977818489075","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":"Q2204452$01F4F2BE-E3DB-41E5-911B-EEE5156E843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a7108957fa9b68a25581ef3b99f3a5e10e41dd","datavalue":{"value":{"entity-type":"item","numeric-id":4247453,"id":"Q4247453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91f2c5cd0c8147defb3de4eb0009e29fd27b83f","datavalue":{"value":{"amount":"+0.6656203866004944","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":"Q2204452$7514712B-2D4C-4FB0-AB10-F7B6D248704F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204452$C913DF53-BAF6-4D11-88A7-E0DF8609CF16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timescales of Boolean satisfiability solver using continuous-time dynamical system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timescales_of_Boolean_satisfiability_solver_using_continuous-time_dynamical_system"}}}}}