{"entities":{"Q880171":{"pageid":882019,"ns":120,"title":"Item:Q880171","lastrevid":65081262,"modified":"2026-04-12T00:11:30Z","type":"item","id":"Q880171","labels":{"en":{"language":"en","value":"Equivalence of simple functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151696"}},"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":"Q880171$9E659FD8-B051-42BD-8BD3-D3B2D5A5DBAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d292d665ed9ad7169bb931a8b881b210ee7af28b","datavalue":{"value":{"text":"Equivalence of simple functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q880171$06404EBF-5C91-45DB-A1DC-4A1A4A62B939","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b12be5bdd0a468b25f3d92c43213dc8edf1d5b3","datavalue":{"value":"1111.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$C2AF56E6-3A91-4F0F-8FD1-415CC080D0AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8d3a49925bf5a62888911cea2963a13226c450","datavalue":{"value":{"entity-type":"item","numeric-id":860855,"id":"Q860855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$FC3BF603-5161-400A-B79E-A5488965F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f70bd5d665b09e37810d29837066cb82ce58a25","datavalue":{"value":{"entity-type":"item","numeric-id":203739,"id":"Q203739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$34F71F9E-F475-4D10-81B4-641914E14B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1539d6d2cf8efd5a784490d4265b687f8e66","datavalue":{"value":{"entity-type":"item","numeric-id":293403,"id":"Q293403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$F0179E56-E265-448D-896F-ECDB5C150E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"446a873621e510ca421dac98a0ecf4b1b1cd2e8d","datavalue":{"value":{"entity-type":"item","numeric-id":313971,"id":"Q313971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$1B085CDA-8EA2-4566-8CD0-3773CC8BBA8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$1729186D-7A0C-41F6-824F-A4033FEE7053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q880171$68306C32-1E80-4FCF-A407-EAF43735913E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$6B60EEF1-724F-4210-B296-D43182D87175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$B39B8B0E-1CE0-4783-BEA9-3FCED39B0D1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9766ed5e8631a9bb3bb5abb98766caf906484ca5","datavalue":{"value":"5151696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$0F7CE328-1F81-444E-870B-DC8576160A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$319D21B8-CF69-4F13-89EE-A2BD30278AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$5430C9AA-AEAB-4130-9E8A-033DB2FA78BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc127ec6dda8b845d119b76f1a06d2b64763fc1","datavalue":{"value":"push-down transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$A6EA6D50-AC92-4990-8031-67805DFE1F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$7B8B48D8-28BA-4DEE-8597-6F4090F6F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4258a81dff63e53b8f55a172b924be3b008fbdb","datavalue":{"value":"simple grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$97A69B94-EFE7-4251-9FB9-396107A95E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"147910807edab8ddb467539c3d52574170643679","datavalue":{"value":"simple function","type":"string"},"datatype":"string"},"type":"statement","id":"Q880171$10FE6061-1708-43FE-9817-EA8C252ECC69","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":"Q880171$F7AE16F3-E581-4026-B064-3FEC2E20FBDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa79876389fddf6269b209acb76d4eb2543540d3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.01.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q880171$3E185F2E-9CF3-4A61-AA31-3548F7D7F1EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93f58a2ad0245ccc06af8e3568c2256c615ef931","datavalue":{"value":"W2076501806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$C97FDC40-9A92-473A-BB35-2EF4D9D05E97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"637c71812b9b6a000de6e163e4f92265ef484bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5897667,"id":"Q5897667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$E19B6ADE-4371-494B-9EFF-036B32F1BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7d8dfdbd5344be1a0988298f2b9916142571c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286053,"id":"Q5286053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$957F0C4B-79F9-42A2-B2E8-B989FA3BCE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$C6FC568E-0FA3-4695-8051-C358B8251C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c52a170c3dbb1f9eb0465602c0af46c0d05280b","datavalue":{"value":{"entity-type":"item","numeric-id":4849531,"id":"Q4849531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$1E080696-50AC-40A9-B618-B758114552A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87290e30f6c97c40333d951431bdfd415ef51095","datavalue":{"value":{"entity-type":"item","numeric-id":5463970,"id":"Q5463970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$80B1437B-1947-40E4-B2EF-386A95F98D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$57158544-45C3-4C1F-A890-E0215F10BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$8BC1871B-0CF2-4AFB-9A6C-605E5FE92117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbff442f2034be38f32ddd6d2770a902e0f3f071","datavalue":{"value":{"entity-type":"item","numeric-id":1158772,"id":"Q1158772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$68113DAE-A337-4821-89AF-32296F327373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$4B41C405-DDA0-4207-B0B0-3A6C45CFD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693b43335bf937497aefb02339808263b8291bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4938651,"id":"Q4938651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880171$581CB6EE-F84B-4042-996B-B5A363A71EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59691b1691f664c46cbdcc236996fd7a20c55ba4","datavalue":{"value":"10.1016/J.TCS.2007.01.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880171$A8D0D23F-6B1E-48EE-B2CF-1DB159554CB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37cf023a7aaa076917c02f2e3b9d96f20e30c35b","datavalue":{"value":{"entity-type":"item","numeric-id":4810424,"id":"Q4810424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628d0f26073ae68bf47346f7fa9bfedc4f855be2","datavalue":{"value":{"amount":"+0.8872319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$87C6B658-91D1-4177-98AF-C04ABF454883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcccd5c2d90fa94c8840619a8d4be90ee1ec287","datavalue":{"value":{"entity-type":"item","numeric-id":4492857,"id":"Q4492857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c571f5c5d985bd0ec26b6c3ca00c4fbf2b9645ca","datavalue":{"value":{"amount":"+0.8639925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$28ED071C-481E-4685-A73F-A8D26E3B3ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516375b46238b76e50709d3c256b86e664427aca","datavalue":{"value":{"entity-type":"item","numeric-id":3320624,"id":"Q3320624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5f2e72564048184bf342f8286990f0511f0bac","datavalue":{"value":{"amount":"+0.86094725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$592E32BB-A79A-4CBB-B5DE-32873559320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360c733548e213e769394011178f1712516bc6e9","datavalue":{"value":{"entity-type":"item","numeric-id":4337537,"id":"Q4337537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f38559dbfaa8542189315b45f278253ce9d5c5","datavalue":{"value":{"amount":"+0.8581757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$6A93156B-6288-4B5B-9204-E9196D2D5D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c8fd07c2357cc071673bcd254601c373a71fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4000835,"id":"Q4000835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879350114b5b44e501a4c6a3b5f93b29c0b20bfb","datavalue":{"value":{"amount":"+0.85813177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$CA44167E-0CE8-417A-A4DA-8D14E010DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa80d476d284985916e567d3936fea473b86ae4c","datavalue":{"value":{"entity-type":"item","numeric-id":2843899,"id":"Q2843899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b44ffd742ce861eb610c310737a07cfbbcaed3","datavalue":{"value":{"amount":"+0.8577084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$2D7F6AC7-D169-4132-AFA4-319BB97C049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b25fe003b692e247ea9ad862d9a34649781326","datavalue":{"value":{"entity-type":"item","numeric-id":3562028,"id":"Q3562028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114824190a66b087f2e59ca4874ccc779166406f","datavalue":{"value":{"amount":"+0.85649794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$ABFDC449-25A7-45D5-86A8-F79BA412A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf59658e680328f254989ac9494d7d65d5822c8","datavalue":{"value":{"entity-type":"item","numeric-id":4020045,"id":"Q4020045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7772ebfd2999df6ad5feec9cc9fd1889100123ff","datavalue":{"value":{"amount":"+0.8551084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$922812E3-3C4B-4AC6-AA71-2E70657B228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3293e27361a284acf305c8b42163f50b30b6273e","datavalue":{"value":{"entity-type":"item","numeric-id":4703938,"id":"Q4703938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79e67f3656e5eb808b83fddb29d94e3126b9821","datavalue":{"value":{"amount":"+0.85432565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q880171$A1D2F7AD-1342-46E3-9D2F-F30C8DF7EC86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of simple functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_of_simple_functions"}}}}}