{"entities":{"Q3719820":{"pageid":5749726,"ns":120,"title":"Item:Q3719820","lastrevid":81002624,"modified":"2026-05-06T17:29:37Z","type":"item","id":"Q3719820","labels":{"en":{"language":"en","value":"A programming language for the inductive sets, and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949702"}},"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":"Q3719820$5870615B-E095-45D4-8904-7FBF64AA9158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3a87919eeee77645f9d0602290f4ac7a056edda","datavalue":{"value":{"text":"A programming language for the inductive sets, and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3719820$3858D49A-DC1E-4A8D-BC08-5D11253280C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9993022fff7430e736c517143f7a539847199c72","datavalue":{"value":"0591.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$05017D1F-01F3-4C0A-AA43-038C4F9A7501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef6e5fb7badcd2417dd6bdffe48d0f761d44f50f","datavalue":{"value":"10.1016/S0019-9958(84)80045-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$78C2F05B-6A4E-465B-BCE3-8570019A4573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719820$F8C59201-05F9-4945-A5F5-086968BCB4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719820$5D38694F-427C-48F9-8CD8-6D40AA44DC0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719820$4A4170C5-F416-4BB2-AFC6-F7D0E3600AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3719820$F857E92A-D0BC-4D23-8117-80BEB2460171","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$05715823-0111-43B5-944E-C7AB15998428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$3EF515CE-E531-45A2-A547-D1B2B4A1B65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$757079E0-2AEF-488B-A83F-EE9C39AD577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$AE8D0648-9E2E-4565-AF51-D851B29BB22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$4E3C02B4-5B1E-49C2-AF9B-7146CD94C41A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20ffbab884d070ead5044e543ebbe64ecc961ad6","datavalue":{"value":"3949702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$C63C325F-3085-421B-92B9-CE79F8C93A71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d7c785826a7b700aa1fe69c478f8405b925566","datavalue":{"value":"alternating Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$30452435-564E-486A-AF0A-087E39B26B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e10916b80b773755913495cf6300d1fb3190a51","datavalue":{"value":"first-order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$91197CA0-4AC8-472C-9C7D-026D98299CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b5f0be51e77d5012299d35ec810f6a77efd383","datavalue":{"value":"first-order inductive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$38D3F799-03F2-43F9-8574-8264D0ED06C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddae17c414612ff9d0b2af78f4711c18f5668b45","datavalue":{"value":"acceptable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$0B25831E-16B9-43C4-9ABC-A1ECF7FB9F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f948fac55548c62783430cf349c9ac61a1ca29","datavalue":{"value":"r.e. dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$76375F55-5C93-4F03-BABB-D789EC9344C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d645e067133200d762241b66cffef5e4cf086d","datavalue":{"value":"finite-test dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$22D9F174-5782-4918-9990-830C21693827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4ee18069453238bed9065f7c6078619ed22327","datavalue":{"value":"query language for the set of fixpoint queries over a relational","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$A021426B-7726-4325-B26A-D11D1E809B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aab5c54aaec05be29fceb916ef026faad12b93e9","datavalue":{"value":"database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$1CD96E61-EC67-48AD-8763-283B390274C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a1ff9e1d15eccd334310837906c3e5d4f859b","datavalue":{"value":"query language for the set of fixpoint queries over a relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719820$51D5E921-305C-4792-814B-AF5F9CE23D8B","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":"Q3719820$41E18415-2F76-4AAF-8419-F222C422519A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14e2b3e2deb902b2a0c95a80ed6a45715a64f7ba","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(84)80045-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3719820$17FC97DB-7B69-475D-8584-58CBA4543429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feb3542f493a68dc1540320b38d0e7e2f9fd3826","datavalue":{"value":"W1997804367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719820$5E34CA8B-E06F-4F5D-8DB1-9FE1DB0B86CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0db37c063d0b707eceb629a3011182479f4488a","datavalue":{"value":{"entity-type":"item","numeric-id":598276,"id":"Q598276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6fd71342e2347db530a8469efe8dac411d401a","datavalue":{"value":{"amount":"+0.8081001043319702","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":"Q3719820$20935A1F-CE30-4181-B44B-8DB4D60E5FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49500fd193e0ef2aa124846b5e0d31eeb1701116","datavalue":{"value":{"amount":"+0.767858624458313","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":"Q3719820$90737934-5420-4136-A08F-70F98A51E80D","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":"16893d2c9c9ee2b292e2158e06ce39b163425460","datavalue":{"value":{"amount":"+0.757828950881958","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":"Q3719820$9DB3CEA3-2A77-401B-9147-B14D88DAA762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d166c4c642241a0290d95ef22732c6f4971ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b184bc98db4c5776cf715b219a0127ec449fd714","datavalue":{"value":{"amount":"+0.7564811706542969","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":"Q3719820$E6BC4DAA-D598-4411-AEDB-B333DB5B6D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79e4f9ab50d61ed04b514c227e283bce506511d","datavalue":{"value":{"entity-type":"item","numeric-id":3365539,"id":"Q3365539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a02f8fc5f924def8af1025cac58b762bc24d5fd","datavalue":{"value":{"amount":"+0.7561979293823242","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":"Q3719820$D751362F-F98F-43B8-8C17-E91F60795976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A programming language for the inductive sets, and applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_programming_language_for_the_inductive_sets,_and_applications"}}}}}