{"entities":{"Q4783327":{"pageid":6812907,"ns":120,"title":"Item:Q4783327","lastrevid":74771901,"modified":"2026-04-15T00:15:04Z","type":"item","id":"Q4783327","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841839"}},"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":"Q4783327$156F2909-4BE0-46A5-89AB-C19CD84067E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24d168c916119fdff1923d9b84e47a3bb3009056","datavalue":{"value":"0999.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783327$A93B19B6-AC38-4FDC-ACD6-BF1AEB120339","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783327$B2A54D1F-2CEA-4BA6-86CE-64BFE70249DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cf73c80cb926fe51132043358b392232a3f30b","datavalue":{"value":{"time":"+2002-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":"Q4783327$88C66AB9-9FF3-48C6-A39D-54B271B5890F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"defbc86b33ef882a52b58827eefa7094186f5923","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2142/21420484","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783327$8DFA5FE3-B72A-4FD0-8F57-256109BD606D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783327$DF385ED0-5E14-4444-B444-D64BB944D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783327$5646160C-F360-4E9F-8875-213CF9D188EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783327$7718DD7D-B5B5-471B-AC2C-D42C1178C464","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d65b750010a170ccb18dc233ef8c4ddcf07ef7","datavalue":{"value":"1841839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783327$405AEC1D-1B8D-4A7D-8C6C-B2D713879C96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$E39F6B39-6BBD-4A0A-AA2F-301CAB4DB4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$0F82E329-18A9-4C5C-8DDE-94F9B0394D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ea81bf56dda4eea100f11baf2ffe75b74050a7","datavalue":{"value":"path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$CBC7A9AC-F6A2-4A30-99C2-6099190ECC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab06c6f4a4024ccbb2b84312263e5f9e3c8b6929","datavalue":{"value":"Knuth-Bendix orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$6BCF83FC-1FBD-490C-B8F4-94F6D42A053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$469BF002-92CB-4E22-8FB7-6A8D6CB200E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509fd471559101376c5c0dd4c45068443e8ef5d5","datavalue":{"value":"higher-order path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$9E2006C8-99C5-4450-AE61-E54AE26ECDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$E0239B17-4DD7-47AD-9FE2-220E65C048B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783327$8B17D13F-41E5-402D-83BC-CF119A282AA7","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":"Q4783327$6937066A-55FA-4B60-B764-8217CA47E52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7afeb5e6e6cc8d88de254a6cef99665bf629aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403201,"id":"Q5403201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8e44f3990e5937d07a9709f02da5f6b47c4d54","datavalue":{"value":{"amount":"+0.8971484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$96A83D2C-F04D-48FE-AFF8-5A96D21A7D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6a0f32513afc4c40ffe909ab7cb5cfcaec842f","datavalue":{"value":{"entity-type":"item","numeric-id":5394417,"id":"Q5394417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb0608f641e1ecd64b1ab151e42c5c8dc97a903","datavalue":{"value":{"amount":"+0.88579875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$3F81D5B1-5867-429C-86A4-78C6406AD06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08550d2fc976073eb02fbe770062baa74afae498","datavalue":{"value":{"entity-type":"item","numeric-id":1769715,"id":"Q1769715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3d348e616851594cf69325e2ce3fbfde9250f9","datavalue":{"value":{"amount":"+0.8850489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$45970C42-8555-4925-B7F3-640A8192CE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef693b01979bd1461ce4d07654cd0af3b98d38c","datavalue":{"value":{"entity-type":"item","numeric-id":4323833,"id":"Q4323833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a20a5cba5f2b6b90a4139bcc6248bd6b758ef2a","datavalue":{"value":{"amount":"+0.8797324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$65384619-28DB-4251-90CD-93AC887D33C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88da07b164a644667f14cd0caa1ed6dcbf55df1","datavalue":{"value":{"entity-type":"item","numeric-id":687281,"id":"Q687281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43ff7f5f73f47eb92fe611f2e167460a5272985","datavalue":{"value":{"amount":"+0.87386584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$0674B50F-2CA0-4358-9F69-604320DEB6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ba2cfc853ac054a38ea65f18e7d3e5aed53c08","datavalue":{"value":{"entity-type":"item","numeric-id":3712322,"id":"Q3712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174d3aeea1eb0d623f04f32c542c8cd986f76665","datavalue":{"value":{"amount":"+0.87279594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$379F1CCC-FA64-435C-B070-01743D403187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773d94da1b82fc3bbb90df79ebcc8e660157bbe5","datavalue":{"value":{"entity-type":"item","numeric-id":4372855,"id":"Q4372855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2ec348d015ffde680d28c0ad54d5dd0ba957c7","datavalue":{"value":{"amount":"+0.8726309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$47AE46FE-59F6-44E6-A28E-92C913A685C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42356dd2a553ffc13c5c6fcbd1009f430d9153c9","datavalue":{"value":{"entity-type":"item","numeric-id":654910,"id":"Q654910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11df233548be77af2ad58956cb534318203def39","datavalue":{"value":{"amount":"+0.86628896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$536A6957-F85E-45F6-A369-78C01C34FD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3c955227af7447b7e60b6aeb988a049225ca16","datavalue":{"value":{"entity-type":"item","numeric-id":5114808,"id":"Q5114808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27608e47434d1d99d119007c018bf47256bc88fe","datavalue":{"value":{"amount":"+0.859935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783327$F744B4ED-8158-4EAF-9443-990C4328B1EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1841839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1841839"}}}}}