{"entities":{"Q3783631":{"pageid":5813537,"ns":120,"title":"Item:Q3783631","lastrevid":52592513,"modified":"2026-01-23T01:40:10Z","type":"item","id":"Q3783631","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047195"}},"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":"Q3783631$D81DC747-C327-4C18-8A70-9AC125435454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71fd3ebd3e7ead0199c231b33d609f65e3f39c23","datavalue":{"value":"0642.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$46692FEC-C407-4656-96D3-990D14A20EA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f07fff8d424e2666b3152457e585af83b05bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1409694,"id":"Q1409694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783631$177458BA-04CC-449A-8670-E9748A60C573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3783631$4329C9AB-1D72-41A1-A316-72C121B4F4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$85B3BD18-71FB-42AE-AA42-A1BD38474A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$CEBD93EE-9EE1-450F-8A5F-3547883E4B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$C4DB6216-25DA-4070-9378-88F45ADAEB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$E635F7A9-A465-4CD3-947B-0E86EF04257C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a9e20c2419fcda13500d73374d7d8b2db3fe396","datavalue":{"value":"4047195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783631$339930BA-F005-4767-BBA9-ED2E2BECDE41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b783b5ceacbe3c8129f5eabe1cbdc19f17ce2ec","datavalue":{"value":"NurPRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$2C81EEAD-D116-4050-870F-D2BE57F11F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$948609CF-5A47-4E78-9699-B51B53EED38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a841b9a37ec3c703897520c3d409ff8c87c1a37","datavalue":{"value":"prototype implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$FAF7BDB8-86BC-437A-AAED-98D1F91C588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$F39EC103-67C6-47CC-AF7B-37F3AB7CF174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc82c380049dbcf7fdbf962d691a66a068c9984d","datavalue":{"value":"refinement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$4A2A7436-CE03-406C-B217-A5C2F14B8C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$A269AEF7-FE32-4FC7-BC5F-2D240FC950FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaf681fa46ac3de36993134e18f2efa737a2c0f","datavalue":{"value":"Nuprl","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$6205343D-BAA1-4573-A962-76A069511352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$06F2C9C4-B044-4F1B-AA2D-1876C00CB932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$17AA9A16-E5E3-4777-AE6B-ED640FCC550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783631$F167E7A0-6786-4556-93FC-854E373A6F38","rank":"normal"}],"P1463":[{"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":"Q3783631$F7210E2C-E0C3-4CC4-B4D7-A62C9EE03A22","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":"Q3783631$1D2F98CE-EEA5-4A9A-940D-D39440A2193E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab414be2c6411186daf1cce36968203a94258fc7","datavalue":{"value":{"entity-type":"item","numeric-id":3805962,"id":"Q3805962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd413873dcbb4ecdb537591239ff4ef5a4cc5424","datavalue":{"value":{"amount":"+0.7605364322662354","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":"Q3783631$92C7C1D8-85A9-4C67-A95E-1254F970E32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c1f4e60e62cb8d7e0108ca1b6c958a30909a65","datavalue":{"value":{"amount":"+0.7575638890266418","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":"Q3783631$042412A9-9437-4213-8C12-82195A840116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542418b998932333df98aeb849260f0e64e3bcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11895ee4d99edfcc17ae7e0961ad2198ea07e4f0","datavalue":{"value":{"amount":"+0.7559973001480103","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":"Q3783631$A6F44EFB-6A50-4122-AE78-7409C3715E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174e37a28e7b642136f54b7e8b94c9d9042ce3fe","datavalue":{"value":{"amount":"+0.7501250505447388","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":"Q3783631$A130CB49-D706-43B5-815E-B2A83D6D3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b2240557999b95dc9849e43e4c21ca2245e1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2723417,"id":"Q2723417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c19ba3ba146191925e78e53938f43c359a26024","datavalue":{"value":{"amount":"+0.7465754747390747","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":"Q3783631$55CC402B-9CC0-4503-AA2D-4B66E2BF3109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783631"}}}}}