{"entities":{"Q3707378":{"pageid":5737284,"ns":120,"title":"Item:Q3707378","lastrevid":50486639,"modified":"2026-01-14T04:32:23Z","type":"item","id":"Q3707378","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936490"}},"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":"Q3707378$FD3DB962-1B03-4E07-A644-10FD44050754","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9efde11b5e086316ece0d253a46ba55ea8671d12","datavalue":{"value":"0584.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$26083BC2-915D-4B05-8A7D-4D3BBA1DCA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0379dad7dc51eb0e1c8a2c39df100087f0a1234b","datavalue":{"value":{"entity-type":"item","numeric-id":243594,"id":"Q243594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707378$27A5A99B-909B-4889-AE61-A3AB522F9624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6283dda97d4b469b5c83da81ce2baa723b4503c9","datavalue":{"value":{"entity-type":"item","numeric-id":3707376,"id":"Q3707376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707378$521D93CA-4B17-4CE6-90C5-2D1A211FA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2b96c46401c664005f0c2146987960bbae3907a","datavalue":{"value":{"entity-type":"item","numeric-id":3707377,"id":"Q3707377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707378$9E99D183-B1BD-4FFB-A28B-BDF72D05F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8771b95719f75a612917e1582dccec9f6e42d828","datavalue":{"value":{"entity-type":"item","numeric-id":590572,"id":"Q590572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707378$1F43CCAD-05C8-4108-9BE1-312C8CDF0DC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3707378$25B05F9E-CF62-432F-A510-5EA32D4BC88D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$AFB17B76-633A-4DD9-A3F8-FC1D7BAB4BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$4EF21185-C56C-4A87-87DD-596472C4B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$B1E2EC26-AC85-4BC4-83B0-D295D3AECFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$74DC411C-50B4-4C11-B5F2-73B57632ADBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37ab0b24856261b4648abddd8ceb66cf072d4466","datavalue":{"value":"3936490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707378$E791BAB8-A3E3-4457-ABEA-603E115468FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad91d8ba322ee250344fc4c4778615a4beee24","datavalue":{"value":"abstract data type specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$9ABF2013-B260-4FC7-BE86-66BF347EB8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dd63228bb9c3771e55b60178312c3e1a78432c","datavalue":{"value":"first order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$E6AE732B-B49E-4CFF-8B76-F1BFD0622927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$50BC1927-1F88-474D-A25D-FE36ABB49751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$0CF3309F-B509-4E16-9E7F-97891EDAE035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$086F45F0-E0CF-4C54-BD07-697478B50107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$F98189AC-2C7E-4265-B475-808CC911870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2c98bbf5f6575b732d40f2ba03c6334f2bb12d","datavalue":{"value":"isoinitial abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$3E67D284-DF1E-44EE-BDF0-B395AAF75BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a6edfe7c5bd089f10995249a2e5ff65eb47cde","datavalue":{"value":"constructive adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$5F9DF72B-49E3-437E-8570-41E0B8F1B793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707378$580DBB13-4C97-40EB-A328-756713FB4986","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":"Q3707378$2029774B-0BD9-4838-AD9C-8DEA34C82875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cd93a17f57c18fd09262e4d9be653bb70f38f9","datavalue":{"value":{"entity-type":"item","numeric-id":3476793,"id":"Q3476793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8174dc55c4d241b891eb87b0f69c52341faa312b","datavalue":{"value":{"amount":"+0.8379058837890625","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":"Q3707378$CCE6524A-E775-46E9-B66E-4BD60C41326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9379b1bffe85a86cbeccfba237f5e3dc55224b9","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c54526c26d5c001eb804b8d8c46131ad57b4ef","datavalue":{"value":{"amount":"+0.8076956868171692","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":"Q3707378$27B28F01-4501-4F7B-BE72-4604EF440828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a85b0cc7bdb71124ef461276090e138fb0225","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3435d40584f9087d8b62950b7c9d3aa56348a40d","datavalue":{"value":{"amount":"+0.7692133784294128","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":"Q3707378$AA414D7D-49AD-4967-8B57-4E4506EF2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c361e61fe9880635bfc94456f072c25e17cdd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1342134,"id":"Q1342134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5814670571787e53db7fcb6316a1ace9aaba12d4","datavalue":{"value":{"amount":"+0.7634621858596802","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":"Q3707378$10D6A825-6EEF-4148-A233-97DFFE273C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c864e2e11aecc76e4b679c6d8bf290dd6d7245d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263878,"id":"Q4263878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c802c440c9432c9a30f64b36ce648e013f4276","datavalue":{"value":{"amount":"+0.7627027034759521","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":"Q3707378$A0AE2C84-5FF3-4BD9-AE73-BAAE804F90BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707378"}}}}}