{"entities":{"Q4579809":{"pageid":6609396,"ns":120,"title":"Item:Q4579809","lastrevid":41066383,"modified":"2025-04-18T02:30:20Z","type":"item","id":"Q4579809","labels":{"en":{"language":"en","value":"ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6915715"}},"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":"Q4579809$73480900-D4B8-4FCC-A615-B9E87FC6628D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb9cfb133680a6d36747a0f5320fcd9859025de","datavalue":{"value":{"text":"ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4579809$06962C51-445E-4BF5-9E74-F077364D6EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ebe3ad7c82560a597f308d37153df4308be0282","datavalue":{"value":"1445.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$E32E7524-2C2F-41A4-821C-14200F3D6474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2516b310da5467b1f5818426219aa71be63598ac","datavalue":{"value":{"entity-type":"item","numeric-id":450943,"id":"Q450943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$89534626-298A-4E0D-A800-5ADCEFC85F8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4579809$7F986859-464B-41C5-BA8C-6BA7FC42BE0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$1D5169AA-AFD6-4D3B-A610-3C1A11B7A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$EF0A35CF-AD63-4CFC-9B7C-8E700C4ECA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$8A33609D-BA85-4DD2-8D52-99C40801659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$79793C24-6B8D-4BA1-98A5-B4DA1199E24F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308c5d08029b8cd1a624ee5e1db0b76dfd7ccedd","datavalue":{"value":"6915715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$E7B90086-0E9F-4DB9-9604-44ED284A7584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579809$0CB79D79-6E56-4A5D-BEA6-524D2BC6B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920cb1b4ac9b01d41fdbadd7d1457883a55fb3c3","datavalue":{"value":"co-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579809$33F9199E-F24C-4B63-BDAA-D126CE2B8703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579809$70EFB6C7-B6C6-48F1-8F75-3B12922DCD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0391133adfa18d7a3e9478fc3195b383d89af53","datavalue":{"value":"Tarski's fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579809$B714D24A-E6F4-418C-BE72-81E7348623A0","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":"Q4579809$5D9672EC-F59A-4298-84EF-C7E7FC84F855","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b2ae0317ef9f337d9e07b760b1dcd1d05cd67c7","datavalue":{"value":"https://doi.org/10.1017/jsl.2018.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4579809$CEFAEB8D-9E46-40FC-8AAD-4C6E1B52E68F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c222cc8ed6972853c8455e661e2a1be748ea6b89","datavalue":{"value":"W2887585692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$108A424B-F106-438C-8AD6-0F12109E4B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$EE22C6EB-4912-47F0-B17E-3EA3DE14CA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$0AF184B3-3759-4E30-A256-7EAD699CE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c4e3b710b6019125b87a2b2727d18fedbbd0b","datavalue":{"value":{"entity-type":"item","numeric-id":5448611,"id":"Q5448611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$197BE1D3-8BBC-4E6C-867A-AA46911712DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$9892BB00-F561-4909-8AAA-A29D477953B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9478b7b06e502c0958ba425eceebb88981f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":450944,"id":"Q450944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$7F79E4EA-DC21-454F-86C8-EAC06CB19980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070dbfa06568dfeb37a04bf7137994fbe1b8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2944797,"id":"Q2944797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$4F87F73B-A8F4-4316-A5CE-0017DF9405F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb968eee2def3bd19a576e8c6ba5dfffc39154","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$A3EA0484-EE6C-439A-A9CC-7F64251B4AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$6DBFB9DF-6AC1-4A63-B7F4-5F57EC205C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$48F4B3E7-63F0-418A-9F2E-E3D540265E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$8070F1DA-CC50-449F-993D-6A132E3614AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0e4a132679c045b2186ec920746e39949ebc20a","datavalue":{"value":"Q129429772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$30919608-4ECF-4731-AC71-9F24C7EC5C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3efca8156ae341a1a18d8b3cef3329ea8ae83db3","datavalue":{"value":"10.1017/JSL.2018.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579809$9A2EAC43-A727-4DDB-AC2F-866DDFD06DAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d7e5f8e13bcfad3b90deb880cccfde5e25fd42","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3646e0abc8d9fe99efa7462bb75fffcf438a7020","datavalue":{"value":{"amount":"+0.88521284","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":"Q4579809$51B845F7-C8E2-4404-8CA3-A907859D6EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cdd5b25d5e3a3507064a7e1ab08de447a552ad","datavalue":{"value":{"entity-type":"item","numeric-id":2639057,"id":"Q2639057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8122bcd4a59d410f6bc03d308363ab9ab231fd","datavalue":{"value":{"amount":"+0.8809009","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":"Q4579809$CC951292-BECC-4B21-B7B6-DA8284C6BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ef0ec61b5ebba3a7173518736b390aece440db","datavalue":{"value":{"entity-type":"item","numeric-id":3765759,"id":"Q3765759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf3fe6e779e4449ad093ea72416c119374df395","datavalue":{"value":{"amount":"+0.8726848","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":"Q4579809$920C4907-E177-4EEE-8547-70BBA117A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef228a353cc07d2c1654ce9e3f29b1224dff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786230b7c5500e077d7789b539a8d5556af710da","datavalue":{"value":{"amount":"+0.86863184","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":"Q4579809$0A1977C2-3930-476B-B70C-6E0B58D152D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a39706272bc66698f092adb8e06429ca86d3b91","datavalue":{"value":{"amount":"+0.86456597","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":"Q4579809$0F4E83D3-CB0D-4158-918B-1AFC040EE087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d89e31a0d5771bc1eb782b61da6c6687dacc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eda8c98136de7629680f1e9e9c63cd7057b98c","datavalue":{"value":{"amount":"+0.86423063","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":"Q4579809$CBF419E7-D11C-4000-8023-9C0E905422A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98786468ef1504942b6c4f21ac74d0e7856cd354","datavalue":{"value":{"entity-type":"item","numeric-id":4981449,"id":"Q4981449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e8fd2fd22d465b55a5a64167d371cccb924a4f","datavalue":{"value":{"amount":"+0.8602033","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":"Q4579809$F159EBDB-B8F7-4E0B-8DB1-E4279C75EFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e121c64bac2ea696bf60b6ed325ce0608284f6","datavalue":{"value":{"entity-type":"item","numeric-id":3493257,"id":"Q3493257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9b7d9862d04442256d78d8d0cd6f51e6445b5f","datavalue":{"value":{"amount":"+0.8598721","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":"Q4579809$4AC1DDF4-1668-44D7-8180-710D5CA8BC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f43dbeb135cf5e65627bf8aaff0b82fc0893448","datavalue":{"value":{"entity-type":"item","numeric-id":2566072,"id":"Q2566072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccdd538e4d3a117f3d523ad4b799aa59e7018f2","datavalue":{"value":{"amount":"+0.859133","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":"Q4579809$8C6FBDD2-ABA1-46F8-9858-098DF92C493F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579809$2424F162-75AF-4931-A608-A8BF959D3EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4579809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4579809"}}}}}