{"entities":{"Q2278291":{"pageid":2289034,"ns":120,"title":"Item:Q2278291","lastrevid":78407936,"modified":"2026-05-06T11:31:16Z","type":"item","id":"Q2278291","labels":{"en":{"language":"en","value":"Rule-based unification in combined theories and the finite variant property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139934"}},"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":"Q2278291$91396AE4-F85F-4453-A345-0FD104FB01A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"229a31308f95b45dc99d0cfcc7bcba0a2cd726ef","datavalue":{"value":{"text":"Rule-based unification in combined theories and the finite variant property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2278291$8DCC14CF-3EC9-46C8-89EB-715243ACD6DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b5e49c7c4f8d08d96ecffef7d5da4a69f5b178","datavalue":{"value":"1425.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$695FCAC1-2B83-4795-A4CB-F98EAF38C59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49a6167bcca2b214a45981158cb177b3b0b1d18c","datavalue":{"value":"10.1007/978-3-030-13435-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$426D8829-CC74-4742-BBAA-EAE1C408CCB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d0a87dac193c3796b9298ff52842856ec1fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":2278290,"id":"Q2278290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278291$0EFF566B-E524-4556-A31E-A4FEEC2A400B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a9b5b792b433b0fd4c9e8ab15f2bd3a7afdc05","datavalue":{"value":{"entity-type":"item","numeric-id":831916,"id":"Q831916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278291$D32E09DC-F155-48C0-AED7-9568D5E476B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1817945597db5f66bb78adeb001d86c0c57c8612","datavalue":{"value":{"entity-type":"item","numeric-id":831917,"id":"Q831917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278291$B46CECD6-52F2-4346-AA95-04A4F3B8A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278291$025258B0-E7CD-4395-8465-CB952FD93B45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2278291$0347BBCB-27D3-4159-BE8B-31455109CD61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09d5cd972d78f8aa354ec7f78242be1b7049699f","datavalue":{"value":"https://hal.inria.fr/hal-01988419/file/combi-fc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2278291$847D9827-87A7-4593-B812-B53ED1BF93F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$03EAC206-072B-470B-B52D-A1A732BEF724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$26E67297-32E7-430F-9D7A-BAF4086806BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d37498961ce5fc204ed89d2db490d1790d98e2b","datavalue":{"value":"7139934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$C2C94EF2-311C-44DD-A001-7600D87AE26B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278291$7F60628E-3FD7-495C-9824-EFD705073B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278291$C46F68E4-8662-4932-A433-123769B29D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3089277d918517224b20c530c0b7a6f9221b28e","datavalue":{"value":"combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278291$4FF4B30C-2940-42D5-B850-0839A4684846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36184f235aec8a0a424e6893251adc4dc13e0289","datavalue":{"value":"forward-closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278291$7C0CE550-8C85-4073-A5FE-6FF96EB2471A","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":"Q2278291$2C0F955F-EAAB-4282-A047-79D777A779E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbaf81f548169b4b34240829d97480543dff4865","datavalue":{"value":"W2913596757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278291$A11F013E-D384-46CB-9EB3-EDD4B0B7BAE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c625fae89a2f95d6f28ca8a517334d9697dc33f2","datavalue":{"value":{"entity-type":"item","numeric-id":2849500,"id":"Q2849500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38507b4cda67815371e2329e586fcf32fe8033e8","datavalue":{"value":{"amount":"+0.8037760853767395","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":"Q2278291$549262B3-02DC-413A-9D5C-27EB2BBA26FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cdfbd131c02caa5549c9a79d2712e883bd5034b","datavalue":{"value":{"amount":"+0.7935861945152283","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":"Q2278291$7B646F48-3013-459E-94BF-9B8304DA2537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e32fb65cadae22e966977605efd35169678bbc","datavalue":{"value":{"amount":"+0.7921766638755798","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":"Q2278291$3E83EDDB-8B57-4A48-99EE-7B68C7E9CE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709b1f3b4165a327995f0b593cfabaf35fa3cdd2","datavalue":{"value":{"amount":"+0.7850756645202637","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":"Q2278291$645A42A6-4438-4C7A-9EC3-5309176F3104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc49189039dd240199fa5640b648046af865f6","datavalue":{"value":{"amount":"+0.7823185920715332","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":"Q2278291$28066DBA-DBFC-4E56-A2B8-BD813A708670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rule-based unification in combined theories and the finite variant property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rule-based_unification_in_combined_theories_and_the_finite_variant_property"}}}}}