{"entities":{"Q3216155":{"pageid":3226863,"ns":120,"title":"Item:Q3216155","lastrevid":48764365,"modified":"2026-01-05T19:43:46Z","type":"item","id":"Q3216155","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881899"}},"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":"Q3216155$BC36C597-2749-4567-BE76-71850C842851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0faf4d0356559a599050830cd7c704e49cb299cd","datavalue":{"value":"0553.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$F018800C-E316-4EF3-B713-EA05472B2696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ebb156bb8b416bbae8dd2cbbea32ca7e0ce15","datavalue":{"value":{"entity-type":"item","numeric-id":287331,"id":"Q287331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3216155$7FCCD850-840C-4229-BCEC-2FA294F3953C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3216155$66F55636-0E4B-405A-8945-20A22E1E3413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$96E21AC7-C472-4674-B766-5B9029F4295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$3750D59F-5A4D-4A40-9BBC-FF9C67E720CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$59EC9958-FBCD-48CA-B441-DC0AA7FAD7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$5D7C2981-904C-4ED0-8145-06A6F337E673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8fac778e97ae6432b3528aab99d155b26775440","datavalue":{"value":"01A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$3CFD048B-D3F0-4207-8D8F-F79B40A4FAA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a0e6ea2090339377eb2f87efb857a9d62149da9","datavalue":{"value":"3881899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216155$380C1AA2-7EC0-43DD-98CF-4051B6537AA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$4B2B0AB7-8DAB-4801-BF37-7F041F602E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e639ff9a21ed8f73d149a58cb54e9fd7de59f2cb","datavalue":{"value":"historical development of automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$501D9D0D-4033-4BE2-9665-670913DC005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a400cc3eb8cce3325cad5575d68a2b14f7f738","datavalue":{"value":"logic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$ADBBA9BF-F195-4E5C-ADFC-FF6AC70B7C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd4640126f10551063865faedb6ab18a3c58296","datavalue":{"value":"human simulation approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$B67E66FF-256A-42AF-B404-22F631954ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$4DC77CB9-D596-4904-8BE1-9E84C709D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f570d95bfe3d12ec162782b015fc49f552f80532","datavalue":{"value":"connection graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$C52A89E6-2DE6-4A60-AECB-4AA220D1C7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7353b3e3b4cbbc255074f7b2b40aa8d1959f511","datavalue":{"value":"rewrite-rule systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$6B83BB43-BE38-4656-8F03-7BD452A0B8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb0f5af803150db3a83a2a683bd8c1643660152","datavalue":{"value":"AURA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$3D10E221-0477-4B6B-8773-16CDAA2F6BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d45a57e02b24bf8cd814f540d6d5e3075807a824","datavalue":{"value":"PLANNER-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$09C08CD0-09DF-4CC0-AD1B-093774F0055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47373490a3f48bfb8b565f6643f9b41eb552957","datavalue":{"value":"Markgraf Karl system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$1B055E2E-C8D5-4D9A-B0E1-DE747B65775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$E1D90F4D-BAF6-4E60-8388-D463E50BB400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216155$94B41A60-6ED2-41F1-80F2-EF68E959FACC","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":"Q3216155$21B3DE86-4D9D-4CDD-86A1-3CB2DCF937A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfec4533bdc71063bcd9b325c2a8834f6706e18","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbc69ab6bc9c288d6afe07ce9c82d68c743ff99","datavalue":{"value":{"amount":"+0.8080378770828247","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":"Q3216155$473B77A3-CE9A-483D-9082-B1E0A556B4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf67ea78d9a083f35b56fda249bbcd845d8714e4","datavalue":{"value":{"amount":"+0.8076035976409912","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":"Q3216155$E6008A1E-4E09-484D-AD3F-9B31FA3801E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1c39356a7ceb9eeb5335210c4f1df3c1cc3227","datavalue":{"value":{"amount":"+0.7976729273796082","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":"Q3216155$2739ABE4-484B-4BD7-90DC-41674ED8DE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84dff2d5bcec9d0a8ecd0213f40db1cdb08c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3793764,"id":"Q3793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27363dcd74b923468a8b708d53f161cea42f14f","datavalue":{"value":{"amount":"+0.7961444854736328","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":"Q3216155$B957F948-4D07-4CF8-8F2B-B55CDE0DBB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdeb552d8c2eba19104cf345e2b4acfe2f337fbb","datavalue":{"value":{"amount":"+0.7948847413063049","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":"Q3216155$0D94384F-8CCF-4CF4-B1FD-0771C53744EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3216155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3216155"}}}}}