{"entities":{"Q5505512":{"pageid":7535072,"ns":120,"title":"Item:Q5505512","lastrevid":41202192,"modified":"2025-04-19T00:59:37Z","type":"item","id":"Q5505512","labels":{"en":{"language":"en","value":"Automating Side Conditions in Formalized Partial Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498236"}},"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":"Q5505512$73757729-87AD-4ED6-93B6-6DBD2E9B6D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1e7ad1dad89660fd9ffb3a63349bd68a1bc1efa","datavalue":{"value":{"text":"Automating Side Conditions in Formalized Partial Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505512$AD398E30-5A74-48A4-9EB8-C27CA5F1CB6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0607d7268a2b353f1c8dcc74f7d692d285f5adab","datavalue":{"value":"1166.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$9C9C9BB3-B7FA-4FEE-AC16-4F31215E75AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3cdd2505f9a3fe663ce81fa9dca8837c7d8fa82","datavalue":{"value":"10.1007/978-3-540-85110-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$C3BBBA91-BE6C-4ADD-8A28-62B7494D775A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$5DDB96F0-ACAC-47ED-A3DF-D322D6276B6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$F627E694-33B5-42E1-8C53-58A65744BBA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505512$005098B4-D584-4405-83D7-89706A42245E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$83BBD452-F6B7-4F2A-A886-5DD7A6B3DAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$D3F4C78A-DDBE-4D73-8F7D-EA10668F7769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6313cee785c1fd22262b2b039f8ca31b5725a721","datavalue":{"value":"5498236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$6399D56C-ACF0-4772-B741-953888B33D56","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"281b89757548014537d86b37ca06f65e9cb4b2f8","datavalue":{"value":"Q108482195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$3DF42DDF-FD3A-4308-AFB3-709864576792","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$B5B8375C-A6D6-4B71-A47B-40B796EB3F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$5658FF83-1750-4351-A80C-EDAF41107EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$A76A076F-A2A7-46CB-A226-CEBC71462F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fae54f4ca6f40a00c5d3af1e2bace8caf434c54","datavalue":{"value":{"entity-type":"item","numeric-id":57095,"id":"Q57095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$86B85E07-6E08-427C-9FD2-9A30B5407586","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":"Q5505512$195F1FD7-9863-4699-A2DA-035AE4DB74A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb5b60c6bc5cf6a46d80d86fe8dcb21cd2cf5169","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505512$431F3A6E-9ADA-465A-89ED-51524476C5EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93945637919586d1e90276bff965fcb92fb263a9","datavalue":{"value":"W1516795788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505512$3DED05C1-D91C-4D51-BDEC-79383DF9464E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"690d2e2fa3c40e1612ad82748583fec22cea8345","datavalue":{"value":{"entity-type":"item","numeric-id":5558293,"id":"Q5558293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$0585263D-00C1-4B05-A48C-877FAFAED8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3613de2656b36efbfad9ae344c84f6704f810087","datavalue":{"value":{"entity-type":"item","numeric-id":4810133,"id":"Q4810133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$AE1ADED7-3EF3-4CA7-8D4F-6ACBE4DA90EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fc744c8c748de53e360cde6b1b8bb036c2c849","datavalue":{"value":{"entity-type":"item","numeric-id":4853341,"id":"Q4853341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$340B6496-99A6-4251-980A-6C02600A7388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7fccd560221ea7f03064eaf67187aa99c6ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5697711,"id":"Q5697711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$2EA2EEFA-80F8-407B-BB43-A7D1E69E75C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$928E823D-DFE1-480B-8B4B-FC4825A8515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bac2a1c3bf09f6471a60799fa53f4bbb721a1","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$9E8E397C-535B-4E9A-BDEA-B58A650F8954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935e96858077565d4f78764b795519c8fe29e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$1F0A4CE8-A635-4468-8631-6A77D49D123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e000ff64e558d0048197b67f5c2b862836fc200","datavalue":{"value":{"entity-type":"item","numeric-id":1810915,"id":"Q1810915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$AD1FBA48-48BF-4D6D-93C8-2071F447ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca75c88f07e05cae5e0aa24ba4b942ca465dc5a","datavalue":{"value":{"entity-type":"item","numeric-id":3559768,"id":"Q3559768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$E65DD90B-2618-4C74-8517-23CC10355E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38de83f19956b69f762894ec915783f8975512f8","datavalue":{"value":{"entity-type":"item","numeric-id":6488577,"id":"Q6488577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505512$5AE8D5AB-8B93-434F-AEF8-966652415CDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab414be2c6411186daf1cce36968203a94258fc7","datavalue":{"value":{"entity-type":"item","numeric-id":3805962,"id":"Q3805962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9c0bff600466099e20998d6f9124b9249d2101","datavalue":{"value":{"amount":"+0.8750547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$6AE70E1C-1AD5-475A-9637-F6140E873F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97542fd4f5d85617a2288486ce010c4683f99ac6","datavalue":{"value":{"amount":"+0.85334635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$91D3D191-6E38-41D1-8B5D-42F478D35CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272d43b608027d1551c02fdad11d1a4ad4b18f45","datavalue":{"value":{"entity-type":"item","numeric-id":2863853,"id":"Q2863853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75133bf8efa5008572f14275a5193358e961e235","datavalue":{"value":{"amount":"+0.85304093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$3893F96C-2564-4D6A-8A5B-B50FB79B32AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8c0241a18c62f35e475e04e61fccd5571ea033","datavalue":{"value":{"entity-type":"item","numeric-id":4851863,"id":"Q4851863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1d69e6649106c68bb1095c08e2d47941cea6c1","datavalue":{"value":{"amount":"+0.8513544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$30E990A5-2426-444D-8F3B-F982B4AFBB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d170e51fc2e631d9cc31c3155e279e1d9e0a46","datavalue":{"value":{"entity-type":"item","numeric-id":5739977,"id":"Q5739977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bde982a341074e6920a6ce1be756c1bd6cb9034","datavalue":{"value":{"amount":"+0.8483045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$3FEE423C-9286-4A24-A280-1AC977BDD0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d83ae6af30de4ba23305007d2d3314e09b9e62","datavalue":{"value":{"entity-type":"item","numeric-id":6166148,"id":"Q6166148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72296f166a1c6487993d1f8ca86685e03bf0bab","datavalue":{"value":{"amount":"+0.842568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$1D1A306D-5099-4AAE-9ED7-B1770C803DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b842f6c5c6f6cb13a80a9ee17335820078928091","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbd0d5c92427828cbba4503afbeaa5134d9ae72","datavalue":{"value":{"amount":"+0.8412405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$31021F6F-0D15-409C-BED7-C58EEAD49B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5eef8b48d283545bb773ea2f0d3ccc1e01255c","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ea3de12acf82e89c5f152a793122e157ff800e","datavalue":{"value":{"amount":"+0.8385312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$A599687E-9330-4C16-87F8-F991E9151050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b10e7954c295c543afb9f0c9711390bdccd9065","datavalue":{"value":{"entity-type":"item","numeric-id":4366769,"id":"Q4366769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5590086d2c1423fcb66b6f74394bba5ad53acd61","datavalue":{"value":{"amount":"+0.83533573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$05C99A15-EE5D-408F-BEE8-8C667229A0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f45fbc166791f92518f7aac73a7988530237282","datavalue":{"value":{"amount":"+0.83511937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505512$A0D0CE45-8DDD-48FD-894B-02F5063D0677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505512"}}}}}