{"entities":{"Q3201744":{"pageid":3212452,"ns":120,"title":"Item:Q3201744","lastrevid":49444504,"modified":"2026-01-07T04:16:43Z","type":"item","id":"Q3201744","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178744"}},"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":"Q3201744$61EB9F4A-991F-46AD-B77C-60445008E3CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80ad84dd161dbf0067d4573673c7f45a6af6e22e","datavalue":{"value":"0715.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201744$B36D0E35-7C8F-459C-933A-3744E705D023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"614865c792fc9cc5e0ae3df80f199328e64cdbf2","datavalue":{"value":{"entity-type":"item","numeric-id":1097681,"id":"Q1097681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201744$30798EE9-B09E-4FA5-8990-5A4CE519DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201744$03E56C64-A3E5-4C49-B288-6C46B9FA1283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3201744$67574AB9-EBA7-4436-B76A-07AB529937FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201744$FAF9C2B9-E78C-4CF2-BA5F-B4F55C5D417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201744$89F1CF18-2540-4B3D-A1A3-0B5A9A95852E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201744$689C4776-F1F4-470A-990A-13EDD5E38C68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b731569187f27e4912d5abca35b836f128cf0ce4","datavalue":{"value":"4178744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201744$281878E2-4E74-46FA-AE5A-84B7220EFF53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201744$7563D0AD-4CB0-4C1B-BDE6-BBB63618222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201744$A4C43EF6-B482-4443-8593-9531535E8CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938d583f297279c3dad598dea646ccfc9b492f89","datavalue":{"value":"incomplete \\({\\mathcal S}\\)- unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201744$6D5CB4D2-DB52-404F-A55B-02626369235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b2fc7f6d42b7fa0f14125a6732f60010d7581b","datavalue":{"value":"S-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201744$E08309CA-714C-4656-960E-B1E3662F9FFE","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":"Q3201744$B3397E88-2734-42CD-8B4B-8527BA9A2CAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdad30fc9fe2f76be2a07aca54853a8ed9991148","datavalue":{"value":{"entity-type":"item","numeric-id":1097682,"id":"Q1097682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9904ed3e89fdbaab8e9a88cbdcce1c676fdd6044","datavalue":{"value":{"amount":"+0.8338915109634399","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":"Q3201744$8EF982DA-84C1-4646-B257-F98BB2E77735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb30f11e4dbd88ea67372893395944cb7dacbf","datavalue":{"value":{"entity-type":"item","numeric-id":4858580,"id":"Q4858580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68beb3a59744be381f77713dc6f282d39e5ae740","datavalue":{"value":{"amount":"+0.8265779614448547","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":"Q3201744$FF0FC392-C96F-4A2B-84C9-7F8C646B2B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ef3ad1d0535a3df8a266c09545f25732b9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ef48dd9b3b11c696756b6ae8362da776c02ddd","datavalue":{"value":{"amount":"+0.8263775110244751","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":"Q3201744$E94C2F07-D8EB-4218-B967-5BBED0FE1D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905c6be4dec980c134ff9e4285346f223f5380cc","datavalue":{"value":{"entity-type":"item","numeric-id":4287482,"id":"Q4287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0c5859ec51e17fe130d2bdd505df5851f2ce69","datavalue":{"value":{"amount":"+0.7569572925567627","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":"Q3201744$F0144A8D-7CE5-4336-B984-E9D1AA5CF2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46afea38f8153a5a10fa6021acd9116cc0c1ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3821636,"id":"Q3821636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286e5816c26b7ce743fcab4e8d152e0f4db3a7b5","datavalue":{"value":{"amount":"+0.7549218535423279","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":"Q3201744$5EA396C0-73EF-4998-B01F-1DD605518E7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201744"}}}}}