{"entities":{"Q3774997":{"pageid":5804903,"ns":120,"title":"Item:Q3774997","lastrevid":52187837,"modified":"2026-01-21T03:08:27Z","type":"item","id":"Q3774997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035204"}},"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":"Q3774997$1537620E-D0A7-4967-BE2C-8D1063670C83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe8ed88554c0cf8890a16c04427036d9e7feb59","datavalue":{"value":"0635.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774997$D013C7C9-FA42-4F9F-B2A5-CDABC43DA7B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48acc9bc356d9816f068c98eeb4810b85e851886","datavalue":{"value":{"entity-type":"item","numeric-id":757076,"id":"Q757076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774997$6049B518-29C0-4E4F-99C3-B7076D30F1A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3774997$854931DC-91A0-4E47-8C2C-B6D3BCF1E3A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774997$1E801F0F-D7BC-4320-B4B1-BF0409002315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774997$46986D31-AFBC-4A85-AB66-81D2FF96637C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4204e614a88f1d2b76f1fce527d12b4eb94cde17","datavalue":{"value":"4035204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774997$A9B75BCA-B390-4BF9-A094-2519127CAFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$0A281DB6-A32C-4577-B152-1D60059C3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$C3B853DB-CD2E-4BA1-BA91-50E80AD5C49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$4050EA46-CE1A-410A-9377-F28C1D3B9A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7899f656e4a9340b3ed392e6788bd7745359a601","datavalue":{"value":"atomic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$EF700870-76FB-4FF6-A2F1-B7A487495E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de417d58ff6b6bacaf5ea791604f7d17d63ce390","datavalue":{"value":"selection of redices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$DB30C596-1AFA-420C-A8A0-EB7ABD1836BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc3964275be32712ecc56b6357c09beb31ac322","datavalue":{"value":"Church-Rosser properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$AE3E43DF-8665-444B-9F2E-5E978FCDECF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e57191a9e9f532320e18bbba6ebfd1a92851c5","datavalue":{"value":"Horn clause specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$03D93E30-5FA3-4512-B17B-12E5852172AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$FE1CADF8-93C8-455B-8E72-4C82F654ABD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39b2c75feeee243ca79301420dae14c062afa42","datavalue":{"value":"strategy independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$E5B30605-F019-46FD-BCF6-4DF1396224DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdbc2759372fdadcf0bb27bec89e17c62a4ba59","datavalue":{"value":"uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774997$6EA71C69-B967-41DE-AA19-9ACD0244016E","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":"Q3774997$112A2813-4996-451E-B139-384EDCF08256","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789caadc796ee94d8b4cf9511e3921ed7ad4e096","datavalue":{"value":{"entity-type":"item","numeric-id":4537513,"id":"Q4537513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ccaba26228358ef99ffcda0fa096582676d06c","datavalue":{"value":{"amount":"+0.85795975","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":"Q3774997$A9C22171-9305-4AEF-994A-BFCCD627705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5331a21657078da085f03f1d908050fa82d0942","datavalue":{"value":{"entity-type":"item","numeric-id":671504,"id":"Q671504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ccaba26228358ef99ffcda0fa096582676d06c","datavalue":{"value":{"amount":"+0.85795975","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":"Q3774997$FC5D3669-9A26-4161-879E-BD61D9F34C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5d1375bc69455af56007492061e1607a2e78c7","datavalue":{"value":{"entity-type":"item","numeric-id":3608813,"id":"Q3608813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99d977493d1222a7007871044267bde88dbab0a","datavalue":{"value":{"amount":"+0.8500013","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":"Q3774997$9FCB25CA-689F-471A-A761-9287669C413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a0c1d0aa0e989b68c1db33dc3d47478f19867e","datavalue":{"value":{"entity-type":"item","numeric-id":2866800,"id":"Q2866800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a8e7ad408dd98b95d1e4f7164f773e2a824cf0","datavalue":{"value":{"amount":"+0.84561694","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":"Q3774997$BDCF84F1-FA80-48E4-80B8-16649AE23D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2fd8ad42672252d6483ac97a39f3fff06ea7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1433689,"id":"Q1433689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47198c0d30a7d946f33335f614848d8f7436b9d","datavalue":{"value":{"amount":"+0.81463987","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":"Q3774997$1BFBBA2D-EDCB-44F4-A37C-B803B2FF1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a929ab3a93e364c7549ed07821b2bf4d6541e94e","datavalue":{"value":{"amount":"+0.8042429","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":"Q3774997$E530759E-CC83-4631-A351-ED75B4104827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2cb0203ba18c5220f8d9958dba46bf025e3477","datavalue":{"value":{"entity-type":"item","numeric-id":3789062,"id":"Q3789062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6107e847da92e1584f93400e15546566313a6dec","datavalue":{"value":{"amount":"+0.80363095","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":"Q3774997$0B975345-34A4-43BA-95FF-0CC9B8EC4633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9292e48d1ff0722195429a78723d6fa5bcb4127b","datavalue":{"value":{"entity-type":"item","numeric-id":912605,"id":"Q912605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c2333a59c18d1da3bb146dee44a135d21e7222","datavalue":{"value":{"amount":"+0.8036308","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":"Q3774997$DDE56714-7A99-4459-A9CE-370F23984F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb4f7ffc452a31fa4da2628d1fde0b599a80d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3821639,"id":"Q3821639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4977bd1dd325d38a3e40644ae02bdc485e32a4","datavalue":{"value":{"amount":"+0.80180395","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":"Q3774997$0E0DF6B3-7632-48C9-B56E-0C54B8BE3FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68da85ad886fc8879b2847c740e3d57e0f7035ce","datavalue":{"value":{"entity-type":"item","numeric-id":4797964,"id":"Q4797964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e303dca3abaeb7519702fba87c40dbd0f9eae61","datavalue":{"value":{"amount":"+0.79560345","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":"Q3774997$71A49470-8BA7-4ED2-8802-C66974E27047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3774997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3774997"}}}}}