{"entities":{"Q1896369":{"pageid":1907111,"ns":120,"title":"Item:Q1896369","lastrevid":69218346,"modified":"2026-04-13T05:33:18Z","type":"item","id":"Q1896369","labels":{"en":{"language":"en","value":"Mechanical verification on strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 790775"}},"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":"Q1896369$16DDDFA0-D305-4322-A9B7-D06CA9D00F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a7c04442f82a7964a9e43c48736abb5517265e6","datavalue":{"value":{"text":"Mechanical verification on strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896369$C2609F09-2F10-4DC9-9550-F93A165193C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beb4524ab1b4f7e6630e12d17130343968df630f","datavalue":{"value":"0842.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896369$9D0BF826-025C-43AC-A479-E8C8DEA50189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65451716592ef04e9f0d7c37bc610664ec56813f","datavalue":{"value":"10.1007/BF00881831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896369$4E9F4E2A-110C-407D-BC51-35496A3208DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff713bc7271fa9fa11d1731b09ba40854f6ea97","datavalue":{"value":{"entity-type":"item","numeric-id":1896368,"id":"Q1896368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$43D2B6C1-D3BF-4FBB-A543-2A48F7D6AC69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$7BF75AFE-F331-4C75-8006-F67F1AE08256","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896369$489373E2-066B-420F-97EE-3C4C3E175751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896369$7EE44A67-7F47-4753-AC3C-B01879D8702B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e093b11b03aafe667ab9f316b240abfd0b7f62a","datavalue":{"value":"790775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896369$24A206C2-DEA1-492B-89D7-F27A177560BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133c0d9f080562f7852456475af7e6f4153d785e","datavalue":{"value":"planning domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896369$1BCD7C09-7C73-4C1A-99E7-8B52E5D74665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e958ca5125c2979e30554fba52ed5bd4647310c","datavalue":{"value":"Boyer-Moore logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896369$3F0D2B9E-4871-4FA5-BDB6-301A63DB2639","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$23A07F45-D2F2-4193-B029-A57EA5994C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$17393FF2-DEFC-43F3-A898-EDE25A1306EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$D0945B2E-7400-4414-8798-2FB9C339BEB3","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":"Q1896369$5DB000F9-CDD6-4F80-899C-42C3AADA082E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$79D477B2-8203-4FB2-83FE-BEC90D70D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$1105A463-D544-4973-B857-12CA18BE90D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$A8790F09-F497-4325-9F03-01490F85A84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a0248811b4cc5f461005899b2c31fae1c2c398","datavalue":{"value":{"entity-type":"item","numeric-id":5685660,"id":"Q5685660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$607FF9BA-A23F-4E6A-A79F-1F20EDC73619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daba97e5fe57ded94238dd82ec4fb6fb4947bfd2","datavalue":{"value":{"entity-type":"item","numeric-id":1100936,"id":"Q1100936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$96FBDB1D-7808-440E-8F57-229DD58FCC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$2404E547-95AA-4D20-853B-72481E2C1CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13ba0f811f730b749bcf2d3e9785d0ee1e3db5","datavalue":{"value":{"entity-type":"item","numeric-id":5578545,"id":"Q5578545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$B1CE4D7E-07E8-490E-A50D-282525E97FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$49A4ACF5-921F-4C99-B542-F029E3EB095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$C7251D9E-1BE5-48E4-8B3E-15C776B6E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7939d762e43169c6434a88528f3dc113376db8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5180764,"id":"Q5180764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896369$896C3F59-976E-41BA-A9AB-37601027117F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1c99dab88a3e9817c9e76b891603ecfbc4bd15","datavalue":{"value":{"entity-type":"item","numeric-id":4536322,"id":"Q4536322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087b006c23c381118fc6fb4ea89700321bc1cca7","datavalue":{"value":{"amount":"+0.7331390976905823","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":"Q1896369$E50F8211-1873-4C2E-955B-816E1F68D538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b118c2ac436345e01dbbd5d7847afe9f16241e6d","datavalue":{"value":{"entity-type":"item","numeric-id":928673,"id":"Q928673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2949f3169a70834f585a8925eed97fbcc56d63","datavalue":{"value":{"amount":"+0.7274999022483826","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":"Q1896369$CA7F928A-587E-450C-9A3F-DEF860044F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267992689623853d7a56ae982f17d2bee82ba3da","datavalue":{"value":{"entity-type":"item","numeric-id":4499173,"id":"Q4499173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e973ef7dc9c7f3f9a3c27977f602a12e2e45c8d","datavalue":{"value":{"amount":"+0.7261057496070862","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":"Q1896369$EC9AD4FC-72D6-4AA2-B621-2141C2FFCF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cfc954b1c18a434b6dbd57c8847a33d308f96b","datavalue":{"value":{"entity-type":"item","numeric-id":2389631,"id":"Q2389631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fce35fc89e9b4f38d57a9706d536e9fb5b0a82","datavalue":{"value":{"amount":"+0.7217361927032471","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":"Q1896369$B40BCD1E-95E9-402E-8E6C-B4D13438F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69129edc6f88a0e7e4f31a3d55d95e1bde2fa4a","datavalue":{"value":{"entity-type":"item","numeric-id":814562,"id":"Q814562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d1ab58e57b5fd88c1adb03e0834aaed7c39550","datavalue":{"value":{"amount":"+0.7197108864784241","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":"Q1896369$AAAF3323-62B9-4948-A926-F10138F699A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical verification on strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_verification_on_strategies"}}}}}