{"entities":{"Q4766014":{"pageid":6795594,"ns":120,"title":"Item:Q4766014","lastrevid":40860843,"modified":"2025-04-12T01:50:18Z","type":"item","id":"Q4766014","labels":{"en":{"language":"en","value":"A theorem-proving language for experimentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3439978"}},"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":"Q4766014$57B00185-2223-4D19-8159-C4FD6D63385E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebeff751a8369b36daa50e435de084e0f17d0817","datavalue":{"value":{"text":"A theorem-proving language for experimentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4766014$841200E3-975E-4253-A810-4EE84AF7D364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3177cdd97b029af04a1c4afc30ad5a90d31b1bf4","datavalue":{"value":"0279.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$2024AE35-97CD-42CD-8A56-B5D7B949935A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1e299cda47b0045d047fd28b237d39a7575c82","datavalue":{"value":"10.1145/355616.361017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$924A3BBB-5DCA-44DE-948E-C7FD84C9EDA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4766014$B09EDE9C-06D3-4E9B-9C37-58DCC8F6E690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4766014$40677522-4433-487C-AD38-6961175F44B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4766014$5B96C97C-0F4D-49A8-A8CB-E23D092CD147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$514482B3-DE0E-479E-9CD0-357D4AB2106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$202A2940-EB13-47B0-86A6-36B6F60CD4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$60074C59-9D6D-453B-94C1-D3823A56489F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af9bfd474f65b09308a25d3a8a08b211f4ee8381","datavalue":{"value":"3439978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$77F06783-B8CD-4A88-918E-29B53BC1C79D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb83fd90a620915ec65b3ffce48939994d9fa1b6","datavalue":{"value":"Q114255205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$4E929963-1E32-4A17-85B4-CC4BC09198C4","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":"Q4766014$A8385C04-34CB-4800-9287-AFC110F1A1F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af706920133846890b174b704c59a31c5a31fedf","datavalue":{"value":"https://doi.org/10.1145/355616.361017","type":"string"},"datatype":"url"},"type":"statement","id":"Q4766014$1A98F050-C341-471B-B4AB-36BB5B37116F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00361bd2a33721b35f12922c12b69aee6f4378d8","datavalue":{"value":"W2086656793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4766014$D2A6B9CE-F4C4-4541-967C-27C23F543EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4766014$05921E9D-8487-42A7-9A1D-31330DCCB782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4766014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4766014"}}}}}