{"entities":{"Q1193414":{"pageid":1204163,"ns":120,"title":"Item:Q1193414","lastrevid":66454104,"modified":"2026-04-12T10:10:50Z","type":"item","id":"Q1193414","labels":{"en":{"language":"en","value":"The functional dimension of inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64586"}},"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":"Q1193414$2673581A-47D1-40B4-AD14-5A9F75FC48AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e42bc35a3d1f7f0ee06db756aab0de0b560a68ef","datavalue":{"value":{"text":"The functional dimension of inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193414$F8C2746E-21C6-466A-81D0-1BCEBE73FC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d6f69d0e8092c0ff0add0a95b60768693cd77ee","datavalue":{"value":"0780.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$2E338A05-FC3F-42CC-BF70-1D9183FEB654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f790900880760d8bdfb5682cd0a3fdfdab7e6f9","datavalue":{"value":"10.1016/0304-3975(92)90153-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$4CC501A2-DEF1-4F28-9903-15EB2242DDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38f44f92389eaa1d1b2869bbb5096286d7e4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":264561,"id":"Q264561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$F34969CE-8A1D-4489-8CC0-B2F07D664F9F","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":"Q1193414$46A37B99-8EAC-4C48-B84D-FEE17C457FD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193414$C523D717-DBD8-4BF3-A0FA-F27A695EB38A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$917A8D67-E1AA-4629-B429-C1B8979060A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$4CA36FD8-81EA-445A-BE94-4D01FB5D4D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$E144ED10-0A91-4536-93A0-F9B2C093B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$A255016F-3D5D-4365-B001-DA1ADE2CAB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$70B7BC76-C436-4654-9BF8-05EDA1C9DBB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4a0ca81f26ed94a663c61e4f5006c059ff4f44b","datavalue":{"value":"64586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$7C516FDC-B0F7-4451-ADFB-70582C06BEC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b3a8e3ffe8b8dff71647d0874f4a976328ecd2e","datavalue":{"value":"functional dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$95095C19-C83F-4C5D-AD58-DC2F9C37FBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1df48a6536ced5c04731f45ac5e4d1b7a372f2a","datavalue":{"value":"inductive query","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$C4D762C1-EF3A-44A4-9871-7BC294DE5AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$595EC60F-761F-4CB5-97A7-7C78E2C57C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76178ace071933d45e92ff96ff963bd1e88c7420","datavalue":{"value":"language of iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$DDDD189E-B745-4270-8A0D-A87DAF3A694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9553785d126a713b4f66a2759e0c47ec404e5fd","datavalue":{"value":"stratified logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$2DF2C9B7-C88A-4263-A01D-BAF832ECC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$1FFFB57A-92E0-422A-9130-4C17084D9456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9d224494c3db78cf5ae3863e1055d5740e23a9","datavalue":{"value":"finite-valued graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$08E88AAF-9547-45D9-9209-A0BD548B17BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ae44ab37309929240db6fc402a089edeb073e","datavalue":{"value":"successor relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$EA3012B5-26A8-4BDA-B700-462723CAE587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85e9f2721221f48af2e899508349c71e3faa29f","datavalue":{"value":"shortest path","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193414$0C40B051-D070-4843-AF77-5893270C6E3A","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":"Q1193414$68D3296C-A566-4E33-B426-ADCB09747E81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea680e7ae62f88d06324d76ff0b1d9a749f7bd73","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90153-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193414$4C86A00F-7A0F-4A5B-A19C-3AD8B02172B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5e0f8c890f634e3ff729b3cbfab0dc3e100bd57","datavalue":{"value":"W2068782773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193414$E86874AF-9BD1-4670-A1F9-B3E4CF53A6C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$BFE9B34C-289C-4C7F-98BB-DDB111030633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$00F394C4-75E3-493C-9F48-57ACFB43E942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$EF652308-6986-4585-886A-EDA0E825AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$28F1319C-7EE6-4768-A68C-5FC9976DA658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1066bffd998810f2129bb148c0ebedc15355a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3780504,"id":"Q3780504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$0F77C58E-3D56-4C1B-8201-4F267FE9E57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e352c0c79a06f6de0a8b9916dc2f414ddad83f78","datavalue":{"value":{"entity-type":"item","numeric-id":3797174,"id":"Q3797174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$C8B8488A-6D9C-4400-949B-8F2A430863B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$DF849A7B-18F2-4977-935D-34D519BA69B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$5D548AEB-CB3A-47DF-B324-18C9D4F97F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcd080a9dd31dfb3d96758722594dbe62cd1048","datavalue":{"value":{"entity-type":"item","numeric-id":3140022,"id":"Q3140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$9F919E25-65BD-43F3-8AA4-1DEEC5BFB213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$9A21D3E0-8010-46E8-8AFF-4A655048519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$693CA873-E6DA-452F-B775-77F5524D783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193414$0F3A25C5-5ABD-4F87-9A89-6DDCC82817F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0486a0b1c99d4a06bfa40c1ddba6a87bb457be","datavalue":{"value":{"entity-type":"item","numeric-id":3797174,"id":"Q3797174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bee4849794040bcb04383c80f735ba0dcdef028","datavalue":{"value":{"amount":"+0.7621157765388489","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":"Q1193414$422A45B9-6892-41B2-B1EA-C5ECF279F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b483dcefb5d44098f0acdce54042fe7709c334c5","datavalue":{"value":{"amount":"+0.7278175354003906","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":"Q1193414$CF7E96E3-06B5-48A6-98CB-B6356B7979D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e609831f63c44202ca3170dd0548e6c4bad0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3422019,"id":"Q3422019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b171987d296e551e834ea03a4554e7a3b249f4b5","datavalue":{"value":{"amount":"+0.7250446081161499","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":"Q1193414$9356B989-F95B-4FC2-B22F-64CC41C063A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e15421e39e76aa167c4b54fac6d4b7646a851e","datavalue":{"value":{"entity-type":"item","numeric-id":3719820,"id":"Q3719820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de52bf30c6f984f18a9c36010cfadf1b7b3eb02","datavalue":{"value":{"amount":"+0.7220057845115662","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":"Q1193414$15490EFA-0EFC-4F3F-8231-C9156B03F763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2108c9728678c996de8ce9db0c3fddbad25eb48a","datavalue":{"value":{"entity-type":"item","numeric-id":1862647,"id":"Q1862647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befa56a5c5c90dc7861caba97b4c0504a7cf3799","datavalue":{"value":{"amount":"+0.7186558246612549","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":"Q1193414$2B62B4AC-2830-48EA-A89D-058DB766211F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The functional dimension of inductive definitions","badges":[]}}}}}