{"entities":{"Q5902880":{"pageid":8012790,"ns":120,"title":"Item:Q5902880","lastrevid":48854686,"modified":"2026-01-06T00:30:15Z","type":"item","id":"Q5902880","labels":{"en":{"language":"en","value":"Equality, types, modules, and (why not?) generics for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919862"}},"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":"Q5902880$8CE9838F-5719-4DD1-8E9B-51A336F2B9B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7b981cd0eb19509ed47267d016e99da27689b49","datavalue":{"value":{"text":"Equality, types, modules, and (why not?) generics for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902880$16A39C4F-DCE1-49BF-81F9-076B9BA385AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7b7f003d94b2c22cf74b13d3ce298a11f681f4","datavalue":{"value":"0575.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$51167AC9-CE72-49AE-BDE6-BFDBFE7FB3C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1876d899c3acc4b1f1f021c703cbe0ec18cc0616","datavalue":{"value":"10.1016/0743-1066(84)90004-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$36958BBE-CD46-4DAE-A1C0-FA008ACC64C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902880$D27A118F-FA87-4FCA-A2D1-54AEAF9AA1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902880$B8B5CB95-5DB3-4D71-89E1-CF64C8DD016F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902880$A0B8A5CE-14D9-4584-A9CD-31A51D792904","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":"Q5902880$5D90EB58-BB7D-4D29-A407-8E70E67D4386","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$3A7FF442-687C-4CC9-BCDA-8467C4637143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$DCA4A008-B83F-4F37-B286-D84CFDA19E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b920ec2727acad00e04201ee1500017c3608f457","datavalue":{"value":"3919862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$9B02F27D-2884-4314-B84D-C4738DDD348B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f9be9d9663a24b7f95cc3d3f4b2436b40c5a12","datavalue":{"value":"extension of PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$AD48A645-CEB0-44B6-9886-AC2F33F1896E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2e280702e9d0ff2fc15b8b4d6d253576cba9d5","datavalue":{"value":"Eqlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$1202881F-392B-4D0A-B72F-3E23544D59E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$E75A3681-05F9-46BB-B776-BF98A435478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be66603713d3da92b1d4b716da3eba7ce72a2866","datavalue":{"value":"sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$B9D56EB5-4B2E-4F5E-B78A-CA0C216F2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$37004958-C204-4B0A-8858-E88F926F8634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8290cd17e120adea758e6ccf5f48bb9db126ec46","datavalue":{"value":"pre-programmed sets of Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$0FC0B439-74B3-4522-970F-86D075E975C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902880$3609061A-F7F3-48C9-9714-CAAEFA275FBB","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":"Q5902880$39E5B91E-F825-49B1-8F0E-C03231AAE66D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f59460926a45314dec136e4d926f3044c5938f47","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90004-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902880$87DB5DF2-F225-4965-8BA1-AAEACF14CE97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e50280f9fb8a50dbc9e315e76ca2a567f6a7ac51","datavalue":{"value":"W2034034435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$132E244A-592E-446E-A552-C0C8AD36936E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d0105b671afd36fa683995ccdb71ff8799d5331","datavalue":{"value":"Q127360529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902880$A3CA8A09-FEC0-4ABE-8CB4-BD54BD0F098A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f55a60addaf155f5c21794603291dfa94636384","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18191ba0cd50e44a32f36432f1bdbc67af43503","datavalue":{"value":{"amount":"+0.9999465346336364","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":"Q5902880$3C9D4735-D7A5-4929-B9EE-9F285726903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e4481174b06161ae2860ccfd73d21acab8420","datavalue":{"value":{"entity-type":"item","numeric-id":3780489,"id":"Q3780489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2de61b474b0ecd6f3128d3456c59e144ac7a5c","datavalue":{"value":{"amount":"+0.836566686630249","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":"Q5902880$A2CD3531-C4DC-46F0-9A40-97775DBB0768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e68fc47ca175596bcab554f9063e83e39c0f141","datavalue":{"value":{"amount":"+0.8325883746147156","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":"Q5902880$1905F550-95FB-487A-AB84-A369472E42D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5319f5b52d27d5eea3aff0744f3c14bd5d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8398a582d1a6adde9a7fd7aa0e9c02bb4c992501","datavalue":{"value":{"amount":"+0.8064785599708557","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":"Q5902880$8A849A55-DECA-4CF3-8BA3-A458F7566443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800b33503bf23fce7dadc5b80544bd7e90f11f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572712bf35853a41ccd07d16c6a40c2e48a52649","datavalue":{"value":{"amount":"+0.7900408506393433","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":"Q5902880$72E7FC2A-8B82-4AED-9A16-5A730995C2D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902880"}}}}}