{"entities":{"Q3454122":{"pageid":5233522,"ns":120,"title":"Item:Q3454122","lastrevid":88240811,"modified":"2026-06-04T14:00:24Z","type":"item","id":"Q3454122","labels":{"en":{"language":"en","value":"Regular patterns in second-order unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515532"}},"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":"Q3454122$29EE46EA-54B3-45FD-980C-38AD5B2B84FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06566001a3ad39101af1fd2e3fde4e9d6b48bbad","datavalue":{"value":{"text":"Regular Patterns in Second-Order Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454122$517DE99C-6465-4737-996C-72C812CC8092","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc162eb654502a4653375ee8a48b575f37ee148","datavalue":{"value":"1465.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$996AA143-2A51-4529-90E5-073A346E75E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20d3383a0d8a75654fedf7202e42daae076ea06","datavalue":{"value":"10.1007/978-3-319-21401-6_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$07D68D84-FFA6-4D81-B0D6-085631A0A41B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$6BD81FD6-EF1E-4532-9D6F-3A216FD2C369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$17C6E054-C806-4BFF-85FD-79B4F81C84E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454122$BD271AB0-0175-4B4C-BFE7-410BC443499C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$4D3F2C9E-705B-4839-9377-4C606559AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$4A8FFD11-23A0-4B90-B156-F4B3C7BC1CC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc657249bb910eacf75b772ec07dbec5c3bee90","datavalue":{"value":"6515532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$DFEB2B4C-9378-4A99-863D-00CA8DCC2190","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$8F8C1D74-CF24-428D-866C-8B8A778ED225","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":"Q3454122$94F57CA8-3620-4F2D-8EDD-28BD37030E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dbcc2668f0f0adfad4973d4770874fa893e093e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454122$72006124-5AF3-43AC-B264-30A9AEAA0AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f5dcccbd8b41d8a9a2c57bdc6b6c7a3d3d2fbf","datavalue":{"value":"W1424724424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454122$9595FB72-044F-4F10-A432-492D8C424D07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97bd1eb27c32a24423dd11a948f80f5800fbe083","datavalue":{"value":{"entity-type":"item","numeric-id":4331050,"id":"Q4331050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$CEF9E72E-E4D6-45D7-947B-27F84A8C1B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$9BA237D5-13E8-4877-B57E-665F445D475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$23E75020-233C-47D2-B9EE-4D38003742C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$699942CE-97C4-43E9-953F-C977F9CAC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3706f355b7be1279f6153af52c17e52e3c7851cb","datavalue":{"value":{"entity-type":"item","numeric-id":636268,"id":"Q636268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$8461101A-A0CB-4DC8-A75A-BA4981F3176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$0CECBFE9-2756-4517-A39A-2C4DCC968370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c227478d93e0b870e0c78c09c2776f3a08c57d","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$355F5E0E-592D-4A0C-8810-3E89B4745ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$DC6474FC-05D0-4ED2-A364-C098267FCED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf4606e610fbe75ced44da4fb436394937a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3474892,"id":"Q3474892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$A2BFCDE9-9717-471C-9897-94D920B86A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e3988fb7cebf99242d8800f99ff1709b70e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055871,"id":"Q5055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$760AD725-5C64-43E9-890B-19E12B237AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0382536376047a8a1e61b53a688d5d47c57054d","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$415107D4-4EEB-471E-82AF-282FB60C7AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9227b84cb9887b5345dbd7ae5cc50cb766b52995","datavalue":{"value":{"entity-type":"item","numeric-id":3693683,"id":"Q3693683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$442157A7-A24E-449C-AA1A-451833B96407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$982024BE-3FD8-4233-8515-085C642762F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba514721116fcba5045603e9524f6e2f496f221","datavalue":{"value":{"entity-type":"item","numeric-id":4796458,"id":"Q4796458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$600551DD-0EEB-4BD8-A5F3-92E31C1C3A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5d2486b418d47588e9e6c8f4b3f6c40689c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$FB107D3F-AE4F-4883-AE52-5CA35360EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fff9d93be0966e51dab18bae658a54ef014f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4443684,"id":"Q4443684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$DC140E09-2B78-4DA8-B904-5AAEBF74A93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9aea8dae15dfdd8fd673635c29a8fef5cc67b6f","datavalue":{"value":{"entity-type":"item","numeric-id":2456577,"id":"Q2456577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$C8329571-4829-4460-9736-06942B2A80F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$42F7011A-8E7F-4059-8543-B2C877BFB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9a50286290adf9bd9cfa71df9836dcc249b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3801522,"id":"Q3801522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454122$002B1129-46E1-47CA-89E5-C8BE817227C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7461aedad43fc189edc0c1952fcf4a60d1569a","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31af7d4fb180b8a9fcfc686d5bc3f2ed3ba7a0d7","datavalue":{"value":{"amount":"+0.8489589095115662","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":"Q3454122$999E4477-05D7-4724-8587-D96C5225DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5324d2665727850e5c41647da1b2fc2f4691e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b1bb5574c3242d046d668ccc6f6ab8bfaf0294","datavalue":{"value":{"amount":"+0.8114370703697205","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":"Q3454122$0DF38861-8586-46D4-B0C6-6DD68BEB1C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1c1be456b23f2df1bfd9df54e80d62240ea2df","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b1bb5574c3242d046d668ccc6f6ab8bfaf0294","datavalue":{"value":{"amount":"+0.8114370703697205","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":"Q3454122$517D692C-3408-4FD7-9AFA-A16B484A4ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92bdda1680f549c04fed92f562efb5951c8de37","datavalue":{"value":{"amount":"+0.804518461227417","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":"Q3454122$FFC6F026-1D4D-486D-8FD2-044860B03D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0435d9ddb93d857a8324bf0f10a26ee35d76875d","datavalue":{"value":{"entity-type":"item","numeric-id":843951,"id":"Q843951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218d3afd9c6fa536e19f77d5964d709c64c10ad0","datavalue":{"value":{"amount":"+0.803236722946167","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":"Q3454122$366DB7FD-DB00-4F3E-BE9D-7D1B117325EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular patterns in second-order unification","badges":[]}}}}}