{"entities":{"Q1694705":{"pageid":1705446,"ns":120,"title":"Item:Q1694705","lastrevid":72053268,"modified":"2026-04-14T02:21:13Z","type":"item","id":"Q1694705","labels":{"en":{"language":"en","value":"Conditional terms in semantic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6834938"}},"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":"Q1694705$339D325B-2FA7-4860-9B7B-FD3152ABCAF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92b27a0ca529448f839ed374bd5b249463314585","datavalue":{"value":{"text":"Conditional terms in semantic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694705$9F5C6157-141F-4691-A95F-7C10B7DF6942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84c7bf7c1846d63db92820cee52dd7c737c8f604","datavalue":{"value":"1420.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$AE95B5A2-21A8-42AB-97BD-83AE67CA87AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beea0eee995e6ee13d022cbafef07577a38148eb","datavalue":{"value":"10.1134/S0037446617050068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$35737476-3B51-46D4-B8C5-B23811E2DB8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$332F611F-7F31-4360-906E-7B8BDD8FF93E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56c33c49680ed15bf9438494fe87a6286c086fc","datavalue":{"value":{"time":"+2018-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694705$BBA68B0E-FCCE-4C99-A227-7B9CAE649498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$8462F263-F75B-49A9-AA41-B9B3002C11E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$DB6B7017-5912-4734-9926-3534F4CE908B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b275f1f068c376f1cac85abf14e2af22bbe4df","datavalue":{"value":"6834938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$FC99B548-CCB8-4E8B-B27B-8E698D9400DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bccbc79784966e398b95ff3d7b94087fea97b322","datavalue":{"value":"formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$2AFB2168-1066-4274-ACD2-0C9C18C05272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0053e6a879fa16dee04762d4223662364a6d953","datavalue":{"value":"term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$9E6EB256-CDBD-4A92-BCB2-22F0A51F143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4acc1d78d48e05a0eb805411a5806e0642fd3ac6","datavalue":{"value":"restricted quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$92816FCA-857D-4357-B26F-C71C59415D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ca13b7c0b6dba5f021446088b41b1cb1e2947a","datavalue":{"value":"\\(\\Delta_0\\)-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$D03F4B35-7EEA-4089-B94B-17C6758FBC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc965c2dd050d2c8f6f1604b8e79129b341b0ff","datavalue":{"value":"\\(\\Sigma\\)-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$118C8ED4-64B5-4F13-98CD-A12DF27774BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea455436aa698911c3a9a8b038aacaea9669cb8","datavalue":{"value":"semantic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$C1C4185F-3852-45BB-A041-4360CD8CF822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$BF7CF6B6-A9EF-48EB-9C77-7A267B9BFA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd599ad70c4f034119bb2028bac633e79d1beef0","datavalue":{"value":"computability over abstract structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$2C6E1D52-A626-4C5C-9710-F171F6B8A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc3050fa35c2f4b9630df14a7d1155d93fd1e4d6","datavalue":{"value":"conditional term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694705$D22194AF-A19A-40AE-A6C2-48896CDEFF9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$4016E547-FD22-4774-9926-534EA594A9A1","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":"Q1694705$B9F89D45-D506-4D62-BCE4-1ED987CAB49E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0feca6149c52f0d16d409cefc873401331384a83","datavalue":{"value":{"entity-type":"item","numeric-id":3824396,"id":"Q3824396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$EAF2F5A0-A0C7-4EA6-8368-36F1B927114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d12b628041d5952ad4a939ec5765a2c1d10e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3472084,"id":"Q3472084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$BFBFD12B-B1E2-44A9-88B5-322933F7902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01941cca8f9653b8ebfc6522e94a15c519493b0a","datavalue":{"value":{"entity-type":"item","numeric-id":3757389,"id":"Q3757389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$77881A7A-6DF8-4B37-BA2C-2C117B94FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cf0dd6e3a9be5c8a63029b67891a4a65ee6537","datavalue":{"value":{"entity-type":"item","numeric-id":3745249,"id":"Q3745249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$5571B0FA-28AF-45BC-9FC5-FEE3E34A3F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0288dbd35286659b7eb4e62ded11b116322b0992","datavalue":{"value":{"entity-type":"item","numeric-id":3785904,"id":"Q3785904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$43E3F716-022C-4C28-8781-FF6DF6E0D573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6517d11182a3029d8cbfaa161cd6c35e2b30c2b1","datavalue":{"value":{"entity-type":"item","numeric-id":3783515,"id":"Q3783515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$F00BE24E-673E-4741-BBD7-234F580F51A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ea11ef083ec3671dd8aee3c09626097d9ee24a","datavalue":{"value":{"entity-type":"item","numeric-id":3325705,"id":"Q3325705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$D0687753-10C5-46F1-9CF0-A57F34BA3376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82b4ddbd58b271bf79809696c2d0fb154f4dd04","datavalue":{"value":{"entity-type":"item","numeric-id":3696493,"id":"Q3696493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$9C0833EB-5144-41DC-8E36-C7639FA67F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598acc1eb59fac7d309a8798823892ca4cce96ff","datavalue":{"value":{"entity-type":"item","numeric-id":4895089,"id":"Q4895089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$60DD0CF9-2A90-4291-BF58-0E9E5C49E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbf815bb82458f8f652f8811d5765556e9cafb7","datavalue":{"value":{"entity-type":"item","numeric-id":3790633,"id":"Q3790633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$53652AF1-C491-4225-B030-C5DBFF0FF41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c0488ff7facd728799bbf4bb64ac3d6dbfff36","datavalue":{"value":{"entity-type":"item","numeric-id":3787985,"id":"Q3787985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$E1BA71AF-795D-485F-9637-FA5125B29848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac5cb5cbfb9d8f8a931d2907f876d6296fa6de8","datavalue":{"value":{"entity-type":"item","numeric-id":4249355,"id":"Q4249355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$45170D03-2E41-4D5B-84F6-2FAFFE1A847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6208a70740240f779b540dde18b1eb06a81dee","datavalue":{"value":{"entity-type":"item","numeric-id":2906566,"id":"Q2906566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$B9C371D7-52AB-41EE-AD59-38B17ECE8A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7244b98bb744364ee53aede023c92dd2b767276","datavalue":{"value":{"entity-type":"item","numeric-id":5294707,"id":"Q5294707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694705$0CDFF5E2-07F5-408E-B8F8-8AC2E79BDC68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b8fd5ba426dc97704bc9f2f8950922313734ee8","datavalue":{"value":"https://doi.org/10.1134/s0037446617050068","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694705$7A180713-9A0A-4F68-9089-C5BF77705B4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a71a031310660a19ca5aefcdc1419b4bf649a4b","datavalue":{"value":"W2765463448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694705$A8DD7B4D-B2F2-4E54-95D6-A84D25803FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c394e3039746ff63d76c6a5526db1f5b748fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1731392,"id":"Q1731392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39991b098199f7c9bb8ae1560af2db6575a9e7f","datavalue":{"value":{"amount":"+0.9120061993598938","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":"Q1694705$2CA5ABC9-0D75-4ECD-9DBA-A9349491034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4956237c2292ae4e1d018e0de297f0c3ebe3c03","datavalue":{"value":{"entity-type":"item","numeric-id":3830542,"id":"Q3830542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2653667795ba2b5beadcb332d8364b14482018","datavalue":{"value":{"amount":"+0.7460102438926697","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":"Q1694705$D62ECCC1-9370-4189-AAE4-187DA251B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd0cedf8a7c0bc6950402dcde6581688162ec92","datavalue":{"value":{"entity-type":"item","numeric-id":1615728,"id":"Q1615728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939e994caee1c41d36a121bcc83bf7b1029e4fe6","datavalue":{"value":{"amount":"+0.7300911545753479","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":"Q1694705$0E9E1F44-148F-428A-8194-FDDE0AD50A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32809c293635d049ae406af9f8691702a58a15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3983346,"id":"Q3983346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a247934edd45c3993b3fa268e609a5c9a6b1f5","datavalue":{"value":{"amount":"+0.694397509098053","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":"Q1694705$982EC792-9E7F-438E-AD05-8F06EE01E9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8288812ccf28a40a52e9c93173f9077d73ebcd69","datavalue":{"value":{"entity-type":"item","numeric-id":2306056,"id":"Q2306056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74068d21173ee5e57b9801e5bbb1a4dea79a6954","datavalue":{"value":{"amount":"+0.6902859210968018","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":"Q1694705$CFBA4956-6A9F-456F-9C11-3F050B626D3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional terms in semantic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_terms_in_semantic_programming"}}}}}