{"entities":{"Q1856140":{"pageid":1866882,"ns":120,"title":"Item:Q1856140","lastrevid":69121476,"modified":"2026-04-13T04:55:13Z","type":"item","id":"Q1856140","labels":{"en":{"language":"en","value":"Theorem proving in technology transfer: The user's point of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862266"}},"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":"Q1856140$7C4F4914-CD32-492D-9867-7890DD99A3D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9743af8d9b954a5aaa669a9e45883a10249602e6","datavalue":{"value":{"text":"Theorem proving in technology transfer: The user's point of view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856140$AD9FA904-5C2C-43F2-9F09-8170F33B85A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"225f9879ebc2595701d4c0133c180e5633b83daa","datavalue":{"value":"1060.68633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856140$AD4CB66A-8C99-4677-BC09-9F292F5C895B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37f5bf357561197c3cf405f1005a3d0ac1b3f79","datavalue":{"value":"10.1007/PL00010806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856140$CFF5BF7A-71F9-4591-BCC2-27FB4E3FB3E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$6EDE8656-F69C-423D-B157-57882767432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"943c650392a3817201cf599afc27db772c982eba","datavalue":{"value":{"entity-type":"item","numeric-id":1380426,"id":"Q1380426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$70B838AA-3C77-4F29-A346-52128884AD73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$B047A9D1-5B0E-461D-82DA-FA5AE12BF605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-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":"Q1856140$EFE31FC7-9BB5-4E22-8458-18FD1B803A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856140$F2C81F72-C5CA-43D2-B093-2F01320C9AEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"190272d6d3e1493cf00e3f852f2bc1d0b9afc25b","datavalue":{"value":"1862266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856140$8FDCBE60-5B97-41E1-893B-F862ED1C692A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856140$7D521614-8D29-4A94-B940-6765A3369FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9850061d02ac87837539836ee6b990c2809ad5","datavalue":{"value":"mechanized theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856140$5B10A467-2310-4B35-9F02-FDD3E51325FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$4691EF8D-681C-4D80-8EA5-A4FA71D7BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$54D1CC8F-E818-4706-BDDA-24B8763EBB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856140$EABFA68D-E289-4AE2-AA32-65406A024C8E","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":"Q1856140$21B56CB8-3AAB-4C72-89BA-9648DDACB7B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"108bdf8fb76464d73f795b4d5bee3dceddc1f873","datavalue":{"value":"https://doi.org/10.1007/pl00010806","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856140$403A2247-5D81-4AAB-A2E1-022EE55CC9D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c4eae0faf8c917eacd9732d48d8edf5582c366","datavalue":{"value":"W2067395557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856140$0B87DE53-8625-4A60-AA25-1417A41B2CDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91644c24c42462af2acd2411df03615ac1b539a","datavalue":{"value":{"entity-type":"item","numeric-id":1856154,"id":"Q1856154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56968c69db85559c5f9c4edcb5ff719d43c7540a","datavalue":{"value":{"amount":"+0.7123702764511108","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":"Q1856140$9B1F6AE4-F9DB-43CC-8556-E68A36924090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83028cd035a9ac61e5cf2a42518d71034174867b","datavalue":{"value":{"entity-type":"item","numeric-id":3308161,"id":"Q3308161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cc3ad99b7996c62aa5f2622f035e613e3dea1f","datavalue":{"value":{"amount":"+0.7095500826835632","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":"Q1856140$82614644-70AA-41C1-B0DF-A91CFA45F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083ab8552d150c69ba1de8c9b95e269358537be4","datavalue":{"value":{"entity-type":"item","numeric-id":3582703,"id":"Q3582703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd628ce6489f44c272c6d9b33145188a39fa2407","datavalue":{"value":{"amount":"+0.7020777463912964","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":"Q1856140$76B10233-5F62-4E4E-9A44-549151A1A744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f9cb151687c10bcbc354df916b64bf8c327f3","datavalue":{"value":{"entity-type":"item","numeric-id":5234691,"id":"Q5234691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303440f809a7b619c8d85522fea89c527ed4e669","datavalue":{"value":{"amount":"+0.6959301233291626","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":"Q1856140$450384A1-B4C6-4462-8F72-BB163FF98721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a7137aac244cda029ec4b480539407939893b","datavalue":{"value":{"entity-type":"item","numeric-id":4499181,"id":"Q4499181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff23c19b50d94e765fc8e65918449580fbfb2240","datavalue":{"value":{"amount":"+0.6954084634780884","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":"Q1856140$C026497C-36D7-4043-8B95-B3BBF18A697B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving in technology transfer: The user's point of view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_in_technology_transfer:_The_user%27s_point_of_view"}}}}}