{"entities":{"Q5495927":{"pageid":7525487,"ns":120,"title":"Item:Q5495927","lastrevid":58590228,"modified":"2026-04-05T21:46:46Z","type":"item","id":"Q5495927","labels":{"en":{"language":"en","value":"Set theory or higher order logic to represent auction concepts in Isabelle?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327265"}},"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":"Q5495927$066EAD91-212C-452D-B645-BB2038315096","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c22c07093c204fa44844084c5f17b5266c218013","datavalue":{"value":{"text":"Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495927$B09A4620-11C4-4F96-89EA-8CCDFC010E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92747bf5f0a953fc8bda2ef17acdd274acf9cef2","datavalue":{"value":"1304.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$C2054F14-0892-4441-BC33-9C684CBFC7F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22cf833c88903f8b05ee478bc430362173aeb6b1","datavalue":{"value":"10.1007/978-3-319-08434-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$E59ADB79-44FD-4676-9410-8BB52949B68B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$9FE3327F-C952-4F66-BF4B-FC656E99371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9e8b716e948fd9d393e4fbe3beafa79f032133","datavalue":{"value":{"entity-type":"item","numeric-id":504393,"id":"Q504393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$CDD5E0CC-139F-4DEA-B69B-76E00711A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d46f6e3a937a805e7d0d6facdabb7a0e1cff93","datavalue":{"value":{"entity-type":"item","numeric-id":392660,"id":"Q392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$F74E832B-CA2B-42C2-B6C5-88992B1CAD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$33E3B0DF-56FF-42EE-ADC1-B54488ED9E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$488FC11C-8D52-4E23-87C3-267B99C395BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495927$8C755B7E-11AE-41D9-9A76-1AC807CD0046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"201e79b30e2b209fb4a0bc084cdcfaaea3331bcb","datavalue":{"value":"https://arxiv.org/abs/1406.0774","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495927$9AEBE52D-14DE-48E1-987A-023E1AD35E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$0B2528BA-025D-4183-9ECD-816DBBDF1282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$426BD050-B87E-4CC4-9F7B-E2D3AEBF154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$F96FA74F-9E42-4EBF-A0A6-E700D2C730C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e727bc9f8fd1a894e006ed015f7f3c3df44bae7e","datavalue":{"value":"6327265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$DBF974CF-52F9-485F-AD6E-9DCDF8983D7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$4AEE5D54-7681-491B-96E1-C7B1E9A142F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$2BDCAF48-2E78-4F22-992A-26F2BA31AB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"132aba1b92b7c833b2b3c4a71bfe3ecda703a788","datavalue":{"value":{"entity-type":"item","numeric-id":20774,"id":"Q20774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$3D24B8B4-970D-4041-ABCD-DE531C6C6EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$A8DA288A-6456-40C7-9DE5-B6F1E382AF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$A2097579-432A-4EFD-B408-2E42D4A31BC5","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":"Q5495927$C1E2361C-F043-4BEC-B89E-F876C96E7A0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62cc3587ded469632c5c3dea85c6635962b67a2a","datavalue":{"value":"W36058415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495927$11ED69D0-E203-4D3D-B6DC-F2B1229B8CB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$31F5958F-D8D8-40AB-AB25-F2E476BEAA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a5ab773db93124f515ae36ae3145eaec6e9a0a","datavalue":{"value":{"entity-type":"item","numeric-id":2843015,"id":"Q2843015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$AFA76BAE-C19D-48CE-8087-D241FD057644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce0e912a1e6d397fba676389e0669a66e762ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2843033,"id":"Q2843033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$613AEB34-45E0-4C9D-8CB6-9C90F5D4E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78f9e51b63c4e692cfd1c2dfcec05b263377e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5477669,"id":"Q5477669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$3B105581-CF56-423F-91FD-8853948A593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f3d1ae30c91383ada80e5423ca9f4c05b9f2dc","datavalue":{"value":{"entity-type":"item","numeric-id":5277759,"id":"Q5277759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$CD49436E-CBE3-4A9E-8255-C52E6BBE04E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$A9C39266-FF47-43C6-AA79-3B8E9E7F08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$8D5F8BCB-66DF-40BA-8119-CF13998C4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495927$AA173C06-48A5-4111-9A7F-4C414ACECD6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a59ea3e4606aafb1485217b74218d2d1b034d01","datavalue":{"value":{"entity-type":"item","numeric-id":2843015,"id":"Q2843015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53e815cb61fe68c46f69585d418eb40c88024b5","datavalue":{"value":{"amount":"+0.7868064045906067","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":"Q5495927$216F3B67-E16F-4ED8-AE0C-F59CA97DDB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6783c0c8f460d6f2c56d0d161117b3bdeea72453","datavalue":{"value":{"entity-type":"item","numeric-id":2364696,"id":"Q2364696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951804cf757d32cdef55e3b75fb19f1760645b7b","datavalue":{"value":{"amount":"+0.7178828716278076","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":"Q5495927$553163C5-3ECF-40F1-B6AC-70D28BB15D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da69a3e1c1a9becf895f6f0bb027a645b839050","datavalue":{"value":{"entity-type":"item","numeric-id":4628488,"id":"Q4628488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346ef424944902ef81b0d3d2944698d7dc4bb00b","datavalue":{"value":{"amount":"+0.6954647898674011","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":"Q5495927$088B0483-F5F2-40E3-ABDB-70193CDF4C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b36e93e691696db2a3da1f7ef8cb2fc6efba59a","datavalue":{"value":{"entity-type":"item","numeric-id":1791194,"id":"Q1791194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a364a92c4d581be217d995610b3af48da3c551e","datavalue":{"value":{"amount":"+0.6937093138694763","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":"Q5495927$C4405E84-3E10-4EFC-BA7D-6C30469A4BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb09b05c5c69974a820b561efd37f391117f0aad","datavalue":{"value":{"amount":"+0.6912921071052551","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":"Q5495927$24EA4EF9-5FE2-4D71-B0CD-CA48C1C8EEEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495927"}}}}}