{"entities":{"Q4644352":{"pageid":6673933,"ns":120,"title":"Item:Q4644352","lastrevid":37842611,"modified":"2024-09-15T00:26:17Z","type":"item","id":"Q4644352","labels":{"en":{"language":"en","value":"Introduction to the special issue on computational logic for verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6877187"}},"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":"Q4644352$5DBC7484-209F-415B-ADA9-EC83095C7D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37d4096b458e430b46e95ff4b2b37ba78d8907c0","datavalue":{"value":{"text":"Introduction to the special issue on computational logic for verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644352$92E0DDD8-D124-4BF3-9449-04733C8FB21D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"206a7725cd1c149d7c0adff6a3970342a15fda2e","datavalue":{"value":"1475.00076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$8BCC41E6-84CD-45A3-AD24-D598A3DCA996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd5b38f629272fbf41f85137599891f080d19b8c","datavalue":{"value":"10.1017/S1471068418000029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$6BA949A6-4740-4D50-B89C-87A19DAC817A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$8C6E774F-4E8D-4EF2-93F8-0A084F131E2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b8198e5532e16196bbd5031625b4993403e9d10","datavalue":{"value":{"time":"+2018-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644352$A83A7E4F-AB0B-4BBD-B637-71C16FB61ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$44CD7CB9-F1C4-4F9C-9E63-CB81667440A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$9A336BA1-0436-4C3D-9B28-A8B96328335B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$C56FDEAB-F5E3-4539-919F-09B78A0EE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$05A6BA69-636A-433D-9D67-684560C2ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$3C817FD1-B2B7-42A8-9326-F94B9DBD14DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad090a8e6844b35e3b2ff14d1134efa706b9a222","datavalue":{"value":"6877187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$27CE595A-69B0-455A-9977-62439DF799D3","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":"Q4644352$7186326D-01B5-4BF2-A008-661F90295F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$55B88BBB-CF19-4AFE-BF76-27FD68E3FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab47b99f87dca8e7c833b20cc4ec710377b639","datavalue":{"value":{"entity-type":"item","numeric-id":2779230,"id":"Q2779230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$AF715BEE-19F1-4EA2-93EA-B395C245AB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315ca477012cc40bb4745637b4fc7cc906fb2ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2999782,"id":"Q2999782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$984DA665-E0B5-4FB6-8BE4-D1A65745C9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfb6f4c3cb2a513720d0512ac6ad9a80b12c309","datavalue":{"value":{"entity-type":"item","numeric-id":5404898,"id":"Q5404898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$AB34BECF-42A1-4C4B-A859-1CCB61B672C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$F3D120BB-2AA0-4E3B-A249-1E761624AD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a71fd353d8e84eefdab1541c9ac29dd2f6d005","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$34CC9D9D-0AAE-4F8A-9120-92E3263F3F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$F6A5AA33-425F-4DF4-A44B-644025F6DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$1DED4A6C-4C47-4B86-9EA9-66834B3B57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$DD804A8B-3F49-4BA6-A02E-A3F3406934D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f2ca6ecb8880c6f3ec68b373b2d00ee09d7f40","datavalue":{"value":{"entity-type":"item","numeric-id":2828307,"id":"Q2828307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$5549E4DA-D545-4C2B-B806-1AD73F861B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644352$EB8EF6E6-97EF-4C9A-936F-600437804AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef725afb6c7b244f9129e24b328c0fcd607eb09","datavalue":{"value":"https://doi.org/10.1017/s1471068418000029","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644352$A6818245-5E77-4DDD-B3C4-CF54EA81B3D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb2d1741075f590562205032f0092b2d6bd6c1b","datavalue":{"value":"W2801549662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$2238C7DA-265B-442F-96BB-EEEA62D2086F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c660df8199c49b85a1bbe593a6c8aed129793e4d","datavalue":{"value":"Q129891778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644352$A194DA07-70BD-4D69-B50F-B0DC2849A81F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644352"}}}}}