{"entities":{"Q674756":{"pageid":676605,"ns":120,"title":"Item:Q674756","lastrevid":63488052,"modified":"2026-04-11T13:30:08Z","type":"item","id":"Q674756","labels":{"en":{"language":"en","value":"Modular higher-order equational preunification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987588"}},"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":"Q674756$5AB524E2-F7A0-4B5F-AB27-5375A06D1FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f6fd37b98aefaeedbbc56f84b2ae08e5d7d25e","datavalue":{"value":{"text":"Modular higher-order equational preunification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674756$C718C723-CA0B-44C8-898E-BA6FE8ADEFF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d03a0ebc9dfed7b4b31d0b4ff55d7eda82d056e0","datavalue":{"value":"0865.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674756$5D62C251-120A-4191-90B9-19ADEC082E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f1c1a63c0b1d1f059654b48fe9e830d57cbf3ac","datavalue":{"value":{"entity-type":"item","numeric-id":674755,"id":"Q674755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674756$5C4031E7-FF56-4582-818F-330D35AE1C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f974172d2656e4ee48cc3c24f2da227492dbacd","datavalue":{"value":{"entity-type":"item","numeric-id":412410,"id":"Q412410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674756$CB84F8EE-C2BA-44C5-AB5B-8BC817300530","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674756$C74F2B2F-8D1C-480D-A8B5-0B3BB5F8EDE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00f9d13ed39f59c9c1392ae0c1f7dc89d06bd50","datavalue":{"value":{"time":"+1997-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674756$52392962-C552-4299-ABCC-55C43C1FB7F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674756$90306F48-05D7-4F8B-BB5A-2AD66F306860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db701f4d83687223fd4143ff1a188f22750623f9","datavalue":{"value":"987588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674756$0D7D011A-07B6-428E-B373-14E51C716E6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eff58c683b51c7c0f9e280993523716158dd808","datavalue":{"value":"preunification","type":"string"},"datatype":"string"},"type":"statement","id":"Q674756$55A918CD-F3D8-4687-B57C-ED7FDAFC5078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a702f5bee7fe6313360ff812b77bc233c776f6a","datavalue":{"value":"logic programming systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q674756$EA024724-2675-420B-95BF-AF045A6854EF","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":"Q674756$44A27AAB-8398-4F6C-8D65-0FBC34DA468D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a0d26bde9d315a1792f534b20b4319c437b2682","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0059","type":"string"},"datatype":"url"},"type":"statement","id":"Q674756$C73C3FC2-A25F-40F0-AAF5-7593551635AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ddaea3e198017b52a9f64a952ede6f5fa5792a4","datavalue":{"value":"W2005100064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674756$8147F9CF-2B6E-4321-A6F3-4CA24112232D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeb1308e481e336483c0acd36cf846e9c7f07526","datavalue":{"value":"10.1006/JSCO.1996.0059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674756$2104DFF2-598A-4125-95BF-C2829A336AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259deb61cfe2170701e47d67e7bd5ff2a5591b8","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ee17e22e523f910caf50b346bb82e89be6e79c","datavalue":{"value":{"amount":"+0.8375555872917175","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":"Q674756$1734356B-42EC-4F0E-85DE-64C70C764D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360dbedb9dd24a67268fcb921e9f350f4d5d54a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055746,"id":"Q5055746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c5cedca801b92a9f9f228e8fc3f55ecb7a0166","datavalue":{"value":{"amount":"+0.8056986331939697","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":"Q674756$CBBB0B72-53BB-49E6-83A6-3EFE78E0FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08e39f246ff242e4111c2af6914633d48355084","datavalue":{"value":{"amount":"+0.7998769283294678","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":"Q674756$0CCE9B02-61CA-4D3B-BA18-5C791AC660A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be0ae5f5c90d683de07c3648d056d558b910f45","datavalue":{"value":{"amount":"+0.7949888706207275","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":"Q674756$C2EFEBE9-E86B-40EE-97F9-A1A7A2E1C6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522bf253be78dab91c58529cb5b6ca5c311c35ff","datavalue":{"value":{"entity-type":"item","numeric-id":4954009,"id":"Q4954009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2fb2778ea9fa28dbc871d1afba4cfd5e82e1c8","datavalue":{"value":{"amount":"+0.786655068397522","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":"Q674756$C9C72952-52CB-4C5F-AC1C-E66D78010BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular higher-order equational preunification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_higher-order_equational_preunification"}}}}}