{"entities":{"Q5117824":{"pageid":7147398,"ns":120,"title":"Item:Q5117824","lastrevid":40279912,"modified":"2025-02-21T17:58:21Z","type":"item","id":"Q5117824","labels":{"en":{"language":"en","value":"Probe Machine Based Computing Model for Solving Satisfiability Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7240033"}},"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":"Q5117824$6FD586A3-2902-4B5B-8706-2A61A3149B0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cf4ae48bd82dc2ea0eca734c7231c9d8732d805","datavalue":{"value":{"text":"Probe Machine Based Computing Model for Solving Satisfiability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117824$858489BE-3112-42E3-91F0-FBC352CE9B43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65160d5d6a3c95ec8aae4757af38546fe338d1e3","datavalue":{"value":"10.1007/978-981-15-3415-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117824$8326F2B7-F320-48DA-B2A9-E8AED74BEB6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c9a43a5f7a862572927aca5e161298e499a71e7","datavalue":{"value":{"entity-type":"item","numeric-id":1997137,"id":"Q1997137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$3657C0E8-CD34-454F-9713-32AD70DFECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c161e9eb1a837845d3857e96da6f15fc5ff2c5d8","datavalue":{"value":{"entity-type":"item","numeric-id":244378,"id":"Q244378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$A4C3F527-8E8C-4D84-B709-1F1FCFD46705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c6c4ca5c204580fe1c511752d5f1481cd71e5","datavalue":{"value":{"entity-type":"item","numeric-id":283449,"id":"Q283449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$1BB36842-8846-4F7E-BA0A-0A92287EDB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cdc725b63160c175d3a21daa45f0e0acab85897","datavalue":{"value":{"entity-type":"item","numeric-id":414684,"id":"Q414684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$51718F8F-CB52-4F99-9FDC-48052FDD9AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4cf1ba611d3ea8a68dbccaa3f8e6746ba623075","datavalue":{"value":{"entity-type":"item","numeric-id":299603,"id":"Q299603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$43D7D530-156F-4A40-9DA0-AD8103884FE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$D1E16898-7D30-4950-9696-D1CE41C0C04E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117824$AC3C1005-1FF1-4AA2-859C-FFD93809C5FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117824$0E860398-0050-448A-8F77-FABC8F1D0599","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e40de5b1315e8b1391de12f0f50d7893a52ad8e6","datavalue":{"value":"7240033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117824$E6847D80-E401-42AC-B4FF-8F0DC2BA1C10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc693af3b02f36ec2f84209e42ea8852e70113c","datavalue":{"value":"probe machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117824$CCB4D986-065E-4D3D-A5C8-343FFC255ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117824$F7ECF2D1-43A0-4518-8A2C-BE00F858888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117824$5E8AF424-E177-4BF4-A96A-A3C43FCE223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06bf7af95a6892ee30d95dc04eb3fefe3acf05b1","datavalue":{"value":"search tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117824$04180A37-324A-4B39-8E16-7434C4B2348E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5f5926ed95eedf302eaa9478c2c72d1c2ea5879","datavalue":{"value":{"entity-type":"item","numeric-id":5974596,"id":"Q5974596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117824$247E2329-B67F-4EEA-8D22-F9BF13D55389","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":"Q5117824$19D118CE-D48F-4FFE-A6E7-186FEC8D9296","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98e39b7e9368887a2b00e8043e9741b05d1cd86f","datavalue":{"value":"https://doi.org/10.1007/978-981-15-3415-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117824$5C092829-A061-4F2E-AF79-1023E045A31A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad6c8633e73f77a67c8c9214411bcad0202f2a0e","datavalue":{"value":"W3014097961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117824$FF95F4EC-DDDC-4746-81AC-E0DAC8209C1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117824"}}}}}