{"entities":{"Q6493533":{"pageid":14072306,"ns":120,"title":"Item:Q6493533","lastrevid":95499842,"modified":"2026-06-05T09:09:52Z","type":"item","id":"Q6493533","labels":{"en":{"language":"en","value":"A proof assistant for PSF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839230"}},"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":"Q6493533$4C610CAB-36BE-492F-871A-288A8E55080D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab1178f1999a5f7a3f79b5807ca45de4744d4456","datavalue":{"value":{"text":"A proof assistant for PSF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493533$42CA0AE9-C345-4D7C-BE9D-AB68E898D06A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a3d3f576b76cc6bc4e7a9edbb9e99ca09555276","datavalue":{"value":"10.1007/3-540-55179-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493533$EE43E7B7-B32E-4A59-A2DD-62F609EBC692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3e70fbcd4deaefc27ec372729ecd741b9ab8da","datavalue":{"value":{"entity-type":"item","numeric-id":395656,"id":"Q395656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$BE18FC85-B4A9-4438-81D9-7F5B77CE5D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bab4b2828015af1fe41beda2228c4f7368a38b3","datavalue":{"value":{"entity-type":"item","numeric-id":3065017,"id":"Q3065017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$482AEE82-F27E-4F8C-AE20-F30A9C4F6F3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493533$08671E01-8DFB-4E59-95DE-0D8125ED70CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493533$47830504-C2B8-40C7-8D9E-132A89F39761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6228ad1b94b638a222ac7a266153d8c70b2f75","datavalue":{"value":"7839230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493533$88320CB2-CDE4-4271-9239-320E6570E87B","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":"Q6493533$1CE2696C-A879-41EC-9D30-49313973B3B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"279909a9beec93f76bc351b8917043f4caf5aca9","datavalue":{"value":{"entity-type":"item","numeric-id":4013244,"id":"Q4013244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$8CF44D75-7DF1-4A16-AF79-536F07DFC31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$44E430A4-1A91-4200-99BD-41F275B011B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$033C679D-8FA1-4655-B677-565B211A03D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$40A56A6F-DA25-45BE-B1AA-2C527512188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$0695ADB8-C56A-4C51-B5A5-7737F9F3F1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493533$5CA506A7-334F-4951-9C8D-1A1486BA645A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof assistant for PSF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_assistant_for_PSF"}}}}}