{"entities":{"Q4571400":{"pageid":6600989,"ns":120,"title":"Item:Q4571400","lastrevid":32089848,"modified":"2024-03-19T21:01:40Z","type":"item","id":"Q4571400","labels":{"en":{"language":"en","value":"GRASP: a search algorithm for propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899544"}},"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":"Q4571400$9B9B6B6A-08B4-4BF1-8381-52F90E59A4E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8be65cb5be5d5123e5d49d96331fe9f77378b754","datavalue":{"value":{"text":"GRASP: a search algorithm for propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571400$3E481C32-D266-4817-B4F8-8A394FD5940C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09aa22d1d3a3f3b4f0ffd084b8551764f2336456","datavalue":{"value":"1392.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$C10E1342-2E68-492F-8985-D631D698C169","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bc95f441e9809cb856596c51600ab04be6a51a4","datavalue":{"value":"10.1109/12.769433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$D0B17421-AE57-412D-A154-96A32A83FB62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571400$11A41888-DF93-4298-9CF8-709A1D6FA26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571400$3819134B-2DD9-41DC-A1B5-3D6E0A7C8578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571400$12F01B49-77E3-46C1-A8E2-67CB2E8F91F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-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":"Q4571400$599AD90B-663E-40CB-9C7D-302F97D7DD10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12fcab73f0c9b1046fc330619d80c2ab44d41d98","datavalue":{"value":"https://eprints.soton.ac.uk/262032/1/jpms-tcomp99.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571400$BD65B28E-1BFD-4331-A815-88FE0EA22FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$E8FBBF1A-CA5B-4104-8152-122E7EC0ADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$2644ECCB-0F0A-4C29-A3A3-4788F0051FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63b70ec5cb69f5c5c9550409918141ca28bfae61","datavalue":{"value":"90C08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$416B8259-5550-4E36-9B64-8864EEFCA2A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15d6c83b6353dc03c76eb3736e8f549329ca12e9","datavalue":{"value":"6899544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$4FDB0C3C-8420-4CFB-889E-BA0E04A3A317","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b1c9654568fbe14ad8d885aff077462e4dd2c3b","datavalue":{"value":"Q56039660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$D808DDA4-E18F-420E-9BA2-738EC41EA77F","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":"Q4571400$B4D9962E-D422-4049-A4BE-8F3D5BD58D72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d917ce04e93637c4412424d2dbd0391f329813ba","datavalue":{"value":"W2044560939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571400$A5FDC208-8DE2-42F1-A214-A36ACC78F9D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571400"}}}}}